5096 search results - page 591 / 1020 » Associations as a Language Construct |
185
click to vote
EUROMICRO
2006
IEEE
16 years 28 days ago
2006
IEEE
— We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method ...
208
click to vote
HAPTICS
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper describes the development of haptic paddle laboratory kits and associated National Instruments LabVIEW virtual instrumentation to support the adaptation of laboratory e...
168
click to vote
ACSD
2005
IEEE
16 years 15 days ago
2005
IEEE
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
216
click to vote
HYBRID
2005
Springer
16 years 12 days ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
178
click to vote
ICALP
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...