3119 search results - page 280 / 624 » Abstract Requirement Analysis in Multiagent System Design |
151
click to vote
MICRO
2008
IEEE
15 years 11 months ago
2008
IEEE
Heavyweight security analysis systems, such as taint analysis and dynamic type checking, are powerful technologies used to detect security vulnerabilities and software bugs. Tradi...
138
click to vote
ICWE
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Engineering adaptable Web Information Systems (WIS) requires systematic design models and specification frameworks. A complete model-driven methodology like Hera disting...
135
click to vote
CLEIEJ
2002
15 years 4 months ago
2002
Advances in parallel computation are of central importance to Artificial Intelligence due to the significant amount of time and space their programs require. Functional languages ...
217
click to vote
TSMC
2010
14 years 11 months ago
2010
Abstract--With the ever-increasing wireless/wired data applications recently, considerable efforts have focused on the design of distributed explicit rate flow control schemes for ...
123
click to vote
TIME
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We present a specification language and algorithms for the online and offline monitoring of synchronous systems including circuits and embedded systems. Such monitori...