1454 search results - page 170 / 291 » Stateful traits and their formalization |
187
click to vote
ATVA
2005
Springer
15 years 11 months ago
2005
Springer
Mobile ad hoc networks offer very interesting perspectives in wireless communications due to their easy deployment and their growing performances. However, due to their inherent c...
194
click to vote
ICSOC
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...
169
click to vote
CAV
2004
Springer
15 years 11 months ago
2004
Springer
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
138
click to vote
DAGM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. During recent years much effort has been spent in incorporating problem specific a-priori knowledge into kernel methods for machine learning. A common example is a-prior...
148
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper presents an approach for reasoning about action and change which appeals to the principle of Occam’s razor— roughly stating that the simplest explanations ...