1676 search results - page 158 / 336 » Formal Development of Self-organising Systems |
171
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
186
click to vote
TAL
2004
Springer
15 years 11 months ago
2004
Springer
In our research, we have developed a transfer-based machine translation architecture for the translation from Japanese into German. One main feature of the system is the fully auto...
139
click to vote
AOSE
2003
Springer
15 years 11 months ago
2003
Springer
A helpful abstraction of a group of agents is a set of interacting roles, or sets of normative behaviors, that the agents can assume. An important characteristic of real-world agen...
123
click to vote
ICRA
2000
IEEE
15 years 10 months ago
2000
IEEE
This paper formally introduces several stability characterizations of £xtured three-dimensional rigid bodies initially at rest and in unilateral contact with Coulomb friction. The...
156
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
We develop an imperative calculus that provides a formal model for both single and mixin inheritance. By introducing classes and mixins as the basic object-oriented constructs in a...