1752 search results - page 191 / 351 » Application Specific Processing: A Tools Approach |
170
click to vote
CMOT
2011
14 years 7 months ago
2011
Artificial Intelligence has contributed (formal) design models and software support tools to application areas such as architecture, engineering and software design. This paper exp...
123
Voted
TASE
2007
IEEE
15 years 10 months ago
2007
IEEE
Software model checkers work directly on single-process programs, but not on multiple processes. Conversion of processes into threads, combined with a network model, allows for mo...
132
Voted
WWW
2006
ACM
16 years 4 months ago
2006
ACM
The evolution of the Web requires to consider an increasing number of context-dependency issues. Therefore, in our research we focus on how to extend a Web application with additi...
142
click to vote
RTCSA
2009
IEEE
15 years 10 months ago
2009
IEEE
—Mobile sensors are widely deployed in Wireless Sensor Networks (WSNs) to satisfy emerging application requirements. Specifically, processing location dependent queries in mobile...
120
click to vote
UML
2004
Springer
15 years 9 months ago
2004
Springer
Use Cases have achieved wide use as a specification tool for observable behavior of systems. However, there is still much controversy, inconsistent use, and free-flowing interpreta...