5451 search results - page 1054 / 1091 » Typed Operational Semantics |
156
click to vote
UIST
2004
ACM
15 years 11 months ago
2004
ACM
We present Citrine, a system that extends the widespread copy-and-paste interaction technique with intelligent transformations, making it useful in more situations. Citrine uses t...
161
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...
119
click to vote
FC
2004
Springer
15 years 11 months ago
2004
Springer
We describe the design and implementation of secure and robust protocol and system for a national electronic lottery. Electronic lotteries at a national level are a viable cost eï¬...
199
click to vote
ICSOC
2004
Springer
15 years 11 months ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
166
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Abstract The emerging area of intelligent unmanned aerial vehicle (UAV) research has shown rapid development in recent years and offers a great number of research challenges for ar...