3765 search results - page 176 / 753 » Formal Methods for Systems Engineering Behavior Models |
206
click to vote
SAB
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
180
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. Multi-Agent Systems (MAS) architectures are gaining popularity over traditional ones for building open, distributed or evolving software. To formally define system archit...
271
click to vote
AMAI
2011
Springer
14 years 6 months ago
2011
Springer
Formal concept analysis (FCA) has been applied successively in diverse fields such as data mining, conceptual modeling, social networks, software engineering, and the semantic we...
171
click to vote
WISE
2008
Springer
16 years 27 days ago
2008
Springer
In the last few years, almost all model-driven Web Engineering approaches have evolved in response to the new challenges of Web systems design, which are due to new requirements an...
169
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their...