255 search results - page 25 / 51 » A Multiphased Approach for Modeling and Analysis of the BitT... |
SIGSOFT
2009
ACM
14 years 2 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
JNW
2008
13 years 7 months ago
2008
The rapid growth of IP-based mobile telecommunication technologies in the past few years has revealed situations where not only a single node but an entire network moves and change...
AIMSA
2008
Springer
14 years 2 months ago
2008
Springer
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...
RECOMB
2001
Springer
14 years 2 days ago
2001
Springer
High-throughput, data-directed computational protocols for Structural Genomics (or Proteomics) are required in order to evaluate the protein products of genes for structure and fu...
IFIP
2010
Springer
13 years 2 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...