2607 search results - page 305 / 522 » On the Architecture of System Verification Environments |
193
click to vote
IDA
1999
Springer
15 years 11 months ago
1999
Springer
Data mining methods are designed for revealing significant relationships and regularities in data collections. Regarding spatially referenced data, analysis by means of data minin...
149
click to vote
SIGSOFT
2002
ACM
16 years 7 months ago
2002
ACM
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on ...
171
click to vote
MABS
2004
Springer
16 years 7 hour ago
2004
Springer
The emerging ”Computational Grid” infrastructure poses many new opportunities for the developing science of large scale multiagent simulation. The ability to migrate agent expe...
165
click to vote
CIDR
2003
15 years 8 months ago
2003
Current database management system technology is not well equipped to provide adequate support for what has been deemed the 3rd wave of computing -- Ubiquitous Computing. Such app...
176
click to vote
ISSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The Motorola System on Chip Design Technologies (SoCDT) team aims at providing a system design environment for its customers. The Toulouse branch concentrates on design efforts in...