732 search results - page 118 / 147 » Automated Test Generation from Models Based on Functional So... |
SUTC
2008
IEEE
14 years 1 months ago
2008
IEEE
— In this paper we discuss the design methodology based on the service-oriented architecture and agile development principles for wireless embedded and sensor networks (WSNs). Th...
IJIT
2004
13 years 9 months ago
2004
Statecharts have been originally created to specify complex reactive systems for use in simulating real-time applications. They extend state transition diagrams with notons of hier...
ATAL
2009
Springer
14 years 2 months ago
2009
Springer
During face-to-face conversation, the speaker’s head is continually in motion. These movements serve a variety of important communicative functions. Our goal is to develop a mod...
ECMDAFA
2009
Springer
14 years 2 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
ACSAC
2003
IEEE
14 years 25 days ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...