386 search results - page 34 / 78 » Model Classifications and Automated Verification |
ETFA
2006
IEEE
13 years 11 months ago
2006
IEEE
Wireless sensor networks (WSN) consist of small self-contained devices with computational, sensing and wireless communication capabilities. They allow flexible, powerful, tetherles...
JIISIC
2008
13 years 9 months ago
2008
This article presents an experience report on using MERODE as the business modeling method for the development of a web application. MERODE has several advantages as improving the...
PRL
2007
13 years 7 months ago
2007
The bottleneck in interactive visual classification is the exchange of information between human and machine. We introduce the concept of the visible model, which is an ion of an ...
SIGSOFT
2005
ACM
14 years 8 months 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...
UML
2004
Springer
14 years 1 months ago
2004
Springer
We describe the tools and interfaces created by the AGEDIS project, a European Commission sponsored project for the creation of a methodology and tools for automated model driven ...