14190 search results - page 2474 / 2838 » Abstractions for hybrid systems |
255
click to vote
KBSE
2000
IEEE
16 years 2 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
292
click to vote
NDSS
2000
IEEE
16 years 2 days ago
2000
IEEE
Abstract. Chameleon signatures simultaneously provide the properties of nonrepudiation and non-transferability for the signed message. However, the initial constructions of chamele...
224
click to vote
TOOLS
2000
IEEE
16 years 2 days ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
211
click to vote
WETICE
2000
IEEE
16 years 1 days ago
2000
IEEE
Staying aware of each other in cooperative team work is something we take for granted in the everyday world, even if collaboration is not continuously face-to-face, and team membe...
169
click to vote
ASSETS
2000
ACM
16 years 1 days ago
2000
ACM
Abstract—Head controls provide an alternative means of computer access. This study determined whether neck movement limitations are associated with reduced performance with such ...