16218 search results - page 200 / 3244 » Standards |
143
click to vote
ASM
2003
ASM
15 years 10 months ago
2003
ASM
We present an approach towards a formal dynamic semantics for UML using ASM. We aim to remain as close as possible to the standard definition of UML and to cover the operational pa...
164
Voted
CDC
2009
IEEE
15 years 9 months ago
2009
IEEE
— This paper deals with the design of controllers for large-scale linear time-invariant multi-input multi-output systems, such as those that often arise in process control. We fo...
161
click to vote
CSCWD
2001
Springer
15 years 9 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
171
click to vote
ICNP
2000
IEEE
15 years 9 months ago
2000
IEEE
Today’s universal communications increasingly involve mobile and battery-powered devices (e.g. hand-held, laptop) over wired and wireless networks. Energy efficiency, as well as...
158
click to vote
CHES
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Performance evaluation of the Advanced Encryption Standard candidates has led to intensive study of both hardware and software implementations. However, although plentifu...