6978 search results - page 1024 / 1396 » On Proofs in System P |
222
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Contemporary information systems struggle with the requirement to provide flexibility and process support while still enforcing some degree of control. Workflow managemen...
212
click to vote
CAEPIA
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. The following problem will be considered: from scattered examples on the behavior of a dynamic system induce a description of the system. For the induced description to b...
216
click to vote
SIGGRAPH
1991
ACM
15 years 11 months ago
1991
ACM
A major problem challenging opera designers is the inability to coordinate lighting, projection systems, and set designs in the preliminary planning phase. New computer graphics t...
178
click to vote
CHI
2008
ACM
15 years 9 months ago
2008
ACM
We present a novel system for notification management and report results from two studies testing its performance and impact. The system uses statistical models to realize defer-t...
222
click to vote
APCCM
2006
15 years 9 months ago
2006
UML is posited as the "swiss army knife" for systems modelling and design activities. It embodies a number of modelling formalisms that have broad applicability in captu...