4418 search results - page 249 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
214
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
This paper presents a novel technique for abstracting designs in order to increase the efficiency of formal property checking. Bounded Model Checking (BMC), using Satisfiability (...
166
click to vote
DATE
2010
IEEE
15 years 11 months ago
2010
IEEE
—The growing trend towards using component based design approach in embedded system development requires addressing newer system engineering challenges. These systems are usually...
166
click to vote
IAT
2006
IEEE
16 years 20 days ago
2006
IEEE
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a s...
189
click to vote
ECEASST
2008
15 years 6 months ago
2008
In emergency scenarios we can obtain a more effective coordination among team members constituting a mobile ad hoc network (MANET) through the use of reconfigurable systems. This ...
205
click to vote
ESWA
2008
15 years 5 months ago
2008
Over the years, many Artificial Intelligence (AI) approaches have dealt with the diagnosis problem and its application in complex environments such as medical domains. Model-Based...