2935 search results - page 119 / 587 » An Integrated Approach to High Integrity Software Verificati... |
137
click to vote
NETWORKING
2004
15 years 6 months ago
2004
This paper addresses bandwidth allocation for an integrated voice/data broadband mobile wireless network. Specifically, we propose a new admission control scheme called EFGC, whic...
136
click to vote
SAC
2006
ACM
15 years 10 months ago
2006
ACM
Model Driven Architecture (MDA) is a software development approach that focuses on models. In order to support MDA, a lot of CASE tools have emerged; each of them provides a diffe...
114
click to vote
CODES
1994
IEEE
15 years 8 months ago
1994
IEEE
We present a prototyping environment with special benefit for hardware/software codesign which we use as target architecture in the COBRA project1 . This architecture is very flex...
122
click to vote
ICMAS
2000
15 years 6 months ago
2000
Withthe proliferationof software agents and smart hardware devices there is a growing realization that large-scale problems can be addressed by integration of such standalone syst...
125
click to vote
IAT
2006
IEEE
15 years 10 months ago
2006
IEEE
Comprehending and verifying agent system behavior is an arduous task when dealing with complex multiagent systems whose behaviors are sophisticated. This paper presents an approac...