Sciweavers

2409 search results - page 222 / 482
» Logical systems for structured specifications
Sort
View
SIGDOC
2005
ACM
15 years 10 months ago
Co-generation of text and graphics
To reduce potential discrepancies between textual and graphical content in documentation, it is possible to produce both text and graphics from a single common source. One approac...
David G. Novick, Brian Lowe
HASE
1999
IEEE
15 years 9 months ago
Model Checking UML Statechart Diagrams Using JACK
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
Stefania Gnesi, Diego Latella, Mieke Massink
ENTCS
2006
136views more  ENTCS 2006»
15 years 4 months ago
Automated Game Analysis via Probabilistic Model Checking: a case study
It has been recognised for some time that there are close links between the various logics developed for the analysis of multi-agent systems and the many game-theoretic models dev...
Paolo Ballarini, Michael Fisher, Michael Wooldridg...
CN
2004
109views more  CN 2004»
15 years 4 months ago
Architectures and protocols for mobile computing applications: a reconfigurable approach
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
Carla-Fabiana Chiasserini, Francesca Cuomo, Leonar...
SEMWEB
2005
Springer
15 years 10 months ago
Definitions Management: A Semantics-Based Approach for Clinical Documentation in Healthcare Delivery
Structured Clinical Documentation is a fundamental component of the healthcare enterprise, linking both clinical (e.g., electronic health record, clinical decision support) and adm...
Vipul Kashyap, Alfredo Morales, Tonya Hongsermeier...