5718 search results - page 777 / 1144 » Modeling Rule Precision |
203
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
Graph transformation systems have been introduced for the formal specification of software systems. States are thereby modeled as graphs, and computations as graph derivations acco...
227
Voted
COMGEO
2010
ACM
15 years 11 months ago
2010
ACM
Today sophisticated concepts, languages and frameworks exist, that allow implementing powerful fine grained access control systems for protecting Web Services and spatial data in ...
192
click to vote
BIRTHDAY
2008
Springer
15 years 9 months ago
2008
Springer
Embedded systems are electronic devices that function in the context of a physical environment, by sensing and reacting to a set of stimuli. To simplify the design of embedded syst...
226
click to vote
FMOODS
2008
15 years 9 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
210
click to vote
IIWAS
2008
15 years 9 months ago
2008
Based on top of Web protocols and XML language, Web services are emerging as a framework to provide applicationto-application interaction. An important challenge is their integrat...