2661 search results - page 254 / 533 » Model Checking Performability Properties |
145
Voted
DOCENG
2010
ACM
15 years 8 days ago
2010
ACM
This work addresses what we believe to be a central issue in the field of XML diff and merge computation: the mathematical modeling o-called editing deltas and the study of their ...
130
Voted
ACSD
2010
IEEE
15 years 28 days ago
2010
IEEE
Abstract--The ANR project SPaCIFY develops a domainspecific programming environment, Synoptic, to engineer embedded software for space applications. Synoptic is an Eclipse-based mo...
177
click to vote
FASE
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
104
click to vote
ACSD
2010
IEEE
15 years 28 days ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
145
Voted
IAT
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper defines an approach to simulation of natural systems, inspired by complex systems theory. A complex natural system is modeled as a multi-agent simulation system, agents...