262 search results - page 18 / 53 » Making Specifications Complete Through Models |
ISORC
1999
IEEE
15 years 4 months ago
1999
IEEE
CORBA is an emerging middleware infrastructure with open standardization that is receiving a good acceptance since it makes easier to program distributed objects. CORBA is being e...
112
click to vote
WETICE
2006
IEEE
15 years 5 months ago
2006
IEEE
— Within service-oriented business environments, the non-routine processing of requests requires a greater degree of social interaction and learning in order to achieve an effect...
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
MODELS
2007
Springer
15 years 5 months ago
2007
Springer
Class diagrams must be complemented with a set of system operations that describes how users can modify and evolve the system state. To be useful, such a set must be complete (i.e....
IWEC
2008
15 years 1 months ago
2008
The ability to simulate a seaport environment, including illicit cargo and the sensors designed to detect such cargo, allows the evaluation of alternative detection methods in orde...