Sciweavers

7971 search results - page 1330 / 1595
» On unbounded operators and applications
Sort
View
DAGSTUHL
2003
15 years 8 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
GRAPHICSINTERFACE
2001
15 years 8 months ago
An Isometric Joystick as a Pointing Device for Handheld Information Terminals
Meeting the increasing demand for desktop-like applications on mobile products requires powerful interaction techniques. One candidate is GUI-style point-andclick interaction usin...
Miika Silfverberg, I. Scott MacKenzie, Tatu Kauppi...
DGO
2003
140views Education» more  DGO 2003»
15 years 8 months ago
Social Welfare Program Administration and Evaluation and Policy Analysis Using Knowledge Discovery and Data Mining (KDD) on Admi
New technology in knowledge discovery and data mining (KDD) make it possible to extract valuable information from operational data. Private businesses already use the technology f...
Hye-Chung (Monica) Kum, Dean Duncan, Kimberly Flai...
ISSA
2004
15 years 8 months ago
Run-Time Protocol Conformance Verification In Firewalls
Today, business continuity depends significantly on the continuous availability of information systems. It is well-known that such systems must be protected against intrusion and ...
Ulrich Ultes-Nitsche
JVM
2004
133views Education» more  JVM 2004»
15 years 8 months ago
Towards Virtual Networks for Virtual Machine Grid Computing
Virtual machines can greatly simplify wide-area discomputing by lowering the level of abstraction to the benefit of both resource providers and users. Networking, however, can be ...
Ananth I. Sundararaj, Peter A. Dinda
« Prev « First page 1330 / 1595 Last » Next »