Sciweavers

5433 search results - page 519 / 1087
» Tool Support for Traceability-Adaptation
Sort
View
WSC
2000
15 years 8 months ago
Java engine for UML based hybrid state machines
One of the approaches to modeling hybrid systems is to assign algebraic-differential equations describing the continuous behavior to states of state machines that represent discre...
Andrei Borshchev, Yuri B. Kolesov, Yuri B. Seniche...
COLING
1996
15 years 8 months ago
Building Knowledge Bases for the Generation of Software Documentation
Automated text generation requires a underlying knowledge base fl'om which to generate, which is often difficult to produce. Software documentation is one domain in which par...
Cécile Paris, Keith Vander Linden
CAISE
2010
Springer
15 years 7 months ago
Success Factors of e-Collaboration in Business Process Modeling
We identify the success factors of collaborative modeling of business processes by a qualitative analysis of the experiences of participants in group modeling sessions. The factors...
Peter Rittgen
180
Voted
DSD
2010
IEEE
140views Hardware» more  DSD 2010»
15 years 7 months ago
RobuCheck: A Robustness Checker for Digital Circuits
Abstract—Continuously shrinking feature sizes cause an increasing vulnerability of digital circuits. Manufacturing failures and transient faults may tamper the functionality. Aut...
Stefan Frehse, Görschwin Fey, André S&...
APIN
2007
80views more  APIN 2007»
15 years 7 months ago
Specification, analysis and simulation of the dynamics within an organisation
In this paper a modelling approach to the dynamics within a multi-agent organisation is presented. A declarative, executable specification language for dynamics within an organisat...
Catholijn M. Jonker, Jan Treur, Wouter C. A. Wijng...