3799 search results - page 468 / 760 » An Engineering Approach to Formal Methods |
194
click to vote
TAAS
2010
15 years 1 months ago
2010
stractions that support application developers to describe dynamic organizations. The organization model is part of an integrated approach, called MACODO: Middleware Architecture f...
173
click to vote
WWW
2002
ACM
16 years 7 months ago
2002
ACM
Web-based search engines such as Google and NorthernLight return documents that are relevant to a user query, not answers to user questions. We have developed an architecture that...
230
click to vote
EMSOFT
2011
Springer
14 years 6 months ago
2011
Springer
System specifications are often structured as collections of scenarios and use-cases that describe desired and forbidden sequences of events. A recently proposed behavioral progr...
187
click to vote
SEW
2007
IEEE
16 years 29 days ago
2007
IEEE
: After over a decade of use, design patterns continue to find new areas of application. In previous work, we presented a contract formalism for specifying patterns precisely, and...
203
click to vote
SIMPRA
2008
15 years 6 months ago
2008
: DEVS is a Modeling and Simulation formalism that has been widely used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines spatial mo...