1521 search results - page 153 / 305 » The Evolution of Information Assurance |
141
click to vote
WECWIS
2008
IEEE
16 years 26 days ago
2008
IEEE
To keep an overview on complex E-Commerce collaborations several models are used to describe them. When models overlap in describing a collaboration, the overlapping information s...
171
click to vote
COMPSAC
2007
IEEE
16 years 26 days ago
2007
IEEE
This paper discusses aspects of the redocumentation of legacy systems and proposes a model oriented approach to generating documentation, which is to produce models from existing ...
151
click to vote
CEC
2005
IEEE
16 years 4 days ago
2005
IEEE
AbstractThis paper describes the evolution of controllers for racing a simulated radio-controlled car around a track, modelled on a real physical track. Five different controller a...
183
click to vote
CHARME
2005
Springer
16 years 1 days ago
2005
Springer
The evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, ...
159
click to vote
CEEMAS
2003
Springer
15 years 11 months ago
2003
Springer
We introduce a formal language for multi-agent systems based on new modal operators. The modal operators express concurrency at the syntactic level. Operators containing quantifie...