Sciweavers

2024 search results - page 323 / 405
» A Formal Model of Multi-agent Computations
Sort
View
JUCS
2006
108views more  JUCS 2006»
13 years 7 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
SCFBM
2008
119views more  SCFBM 2008»
13 years 7 months ago
Boolean network simulations for life scientists
Modern life sciences research increasingly relies on computational solutions, from large scale data analyses to theoretical modeling. Within the theoretical models Boolean network...
István Albert, Juilee Thakar, Song Li, Ranr...
ICFEM
2009
Springer
14 years 2 months ago
Qualitative Action Systems
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
Bernhard K. Aichernig, Harald Brandl, Willibald Kr...
ACSD
2004
IEEE
124views Hardware» more  ACSD 2004»
13 years 11 months ago
A Behavioral Type Inference System for Compositional System-on-Chip Design
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
Jean-Pierre Talpin, David Berner, Sandeep K. Shukl...
VLDB
1995
ACM
130views Database» more  VLDB 1995»
13 years 11 months ago
Improving Performance in Replicated Databases through Relaxed Coherency
Applications in finance and telecommunications (intelligent network, network management, mobile computing) cause renewed interest in distributed and replicated data management. Si...
Rainer Gallersdörfer, Matthias Nicola