Sciweavers

1046 search results - page 151 / 210
» Generating User Interface Code in a Model Based User Interfa...
Sort
View
SPIN
2004
Springer
14 years 1 months ago
Validation of UML Models via a Mapping to Communicating Extended Timed Automata
Abstract. We present a technique and a tool for model-checking operational UML models based on a mapping of object oriented UML models into a framework of communicating extended ti...
Iulian Ober, Susanne Graf, Ileana Ober
VLDB
1997
ACM
165views Database» more  VLDB 1997»
13 years 12 months ago
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
In semistructured databases there is no schema fixed in advance. To provide the benefits of a schema in such environments, we introduce DataGuides: concise and accurate structural...
Roy Goldman, Jennifer Widom
TARK
2009
Springer
14 years 2 months ago
A computational theory of awareness and decision making
We exhibit a new computational-based definition of awareness, informally that our level of unawareness of an object is the amount of time needed to generate that object within a ...
Nikhil R. Devanur, Lance Fortnow
EAGC
2004
Springer
14 years 1 months ago
Debugging MPI Grid Applications Using Net-dbx
Problem solving using grid computing environments has become very popular amongst research groups in computation-demanding fields. This is due to the ability of Grid technologies a...
Panayiotis Neophytou, Neophytos Neophytou, Paraske...
DEBU
2008
100views more  DEBU 2008»
13 years 7 months ago
WAVE: Automatic Verification of Data-Driven Web Services
Data-driven Web services, viewed broadly as interactive systems available on the Web for users and programs, provide the backbone for increasingly complex Web applications. While ...
Alin Deutsch, Victor Vianu