3765 search results - page 624 / 753 » Formal Methods for Systems Engineering Behavior Models |
152
click to vote
ICDM
2007
IEEE
16 years 24 days ago
2007
IEEE
This paper addresses the issue of extraction of an academic researcher social network. By researcher social network extraction, we are aimed at finding, extracting, and fusing the...
172
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
179
click to vote
AGILEDC
2006
IEEE
16 years 16 days ago
2006
IEEE
Underspecified performance requirements can cause performance issues in a software system. However, a complete, upfront analysis of a software system is difficult, and usually not...
189
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
149
click to vote
FODO
1989
Springer
15 years 10 months ago
1989
Springer
d Abstract) Michael Rabin Aiken Computation Laboratory Harvard University Cambridge, MA 02138 J. D. Tygar School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213...