3765 search results - page 338 / 753 » Formal Methods for Systems Engineering Behavior Models |
194
click to vote
ESAW
2004
Springer
16 years 4 days ago
2004
Springer
The general aim of our work is to provide tools, methods and models to adaptive multi-agent systems designers. These systems consist in several interacting agents and have to optim...
163
click to vote
INFSOF
2002
15 years 6 months ago
2002
Use of commercial-off-the-shelf (COTS) products is becoming a popular software development method. Current methods of selecting COTS products involve using the intuition of softwa...
168
click to vote
DGO
2003
15 years 8 months ago
2003
Metadata descriptions of database contents are required to build and use systems that access and deliver data in response to user requests. When numerous heterogeneous databases a...
194
Voted
ICMCS
2005
IEEE
16 years 10 days ago
2005
IEEE
Behavioral indicators of deception and behavioral state are extremely difficult for humans to analyze. This research effort attempts to leverage automated systems to augment human...
190
click to vote
APLAS
2010
ACM
15 years 7 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...