645 search results - page 103 / 129 » Non-Monotonic Model Completion in Web Application Engineerin... |
113
click to vote
SIGMOD
2003
ACM
16 years 2 months ago
2003
ACM
The advent of XML as a universal exchange format, and of Web services as a basis for distributed computing, has fostered the apparition of a new class of documents: dynamic XML do...
136
click to vote
TASE
2008
IEEE
15 years 1 months ago
2008
IEEE
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
141
click to vote
MIDDLEWARE
2005
Springer
15 years 7 months ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
142
click to vote
ICCAD
1999
IEEE
15 years 6 months ago
1999
IEEE
In this paper we present new methods for fast justification and propagation in the implication graph (IG) which is the core data structure of our SAT based implication engine. As ...
105
click to vote
BCSHCI
2007
15 years 3 months ago
2007
The use of formal models for user interface design can provide a number of benefits. It can help to ensure consistency across designs for multiple platforms, prove properties such...