1141 search results - page 82 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
143
click to vote
ISLPED
2010
ACM
15 years 6 months ago
2010
ACM
It is important to maintain high efficiency when charging electrical energy storage elements so as to achieve holistic optimization from an energy generation source (e.g., a solar...
175
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
Many approaches and tools assist the various tasks required to develop a multi-agent system (MAS), yet there still remains a gap between the generation of MAS models and program co...
130
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
Constraint-driven Communication Synthesis enables the automatic design of the communication architecture of a complex system from a library of pre-defined Intellectual Property (I...
176
Voted
BALT
2008
15 years 8 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
180
click to vote
ICSEA
2006
IEEE
16 years 9 days ago
2006
IEEE
— This paper describes an innovative approach to network testing based on automatically generating and analyzing state machine models of network behavior. The models are generate...