161 search results - page 25 / 33 » Design and Mathematical Analysis of Agent-Based Systems |
158
click to vote
ICRA
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract— Self-assembly is a process through which an organized structure can spontaneously form from simple parts. Taking inspiration from biological examples of self-assembly, ...
152
click to vote
TLDI
2005
ACM
15 years 11 months ago
2005
ACM
Two different ways of defining ad-hoc polymorphic operations commonly occur in programming languages. With the first form polymorphic operations are defined inductively on the...
138
click to vote
FM
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. The Alloy modeling language has a mathematically rigorous denotational semantics based on relational algebra. Alloy specifications often represent operations on a state,...
157
click to vote
TMC
2010
15 years 3 months ago
2010
—IEEE 802.16 standard was designed to support the bandwidth demanding applications with quality of service (QoS). Bandwidth is reserved for each application to ensure the QoS. Fo...
152
click to vote
RE
1997
Springer
15 years 9 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...