Sciweavers

2763 search results - page 164 / 553
» The Dangerous 'All' in Specifications
Sort
View
FORTE
2004
15 years 7 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
ESANN
2006
15 years 7 months ago
Cultures of dissociated neurons display a variety of avalanche behaviours
Avalanche dynamics has been described in organotypic cultures and acute slices from rat cortex. Its distinctive feature is a statistical distribution of avalanche size and duration...
Roberta Alessio, Laura Cozzi, Vittorio Sanguineti
IADIS
2004
15 years 7 months ago
RSS-Based Semantic Web Site Description. Making the Web More Accessible
As stated in the Web Content Accessibility Guidelines, it is extremely important to provide clear and consistent navigation mechanisms to increase the likelihood that a person wil...
Eric Noam Rodríguez Suazo, José Gabr...
ICWS
2004
IEEE
15 years 7 months ago
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
Web services advocate loosely coupled systems, although current loosely coupled applications are limited to stateless services. The reason for this limitation is the lack of a met...
Andreas Wombacher, Peter Fankhauser, Erich J. Neuh...
IC
2001
15 years 7 months ago
Active Reliable Multicast Strategies for Internet-Based Grid Computing Infrastructures
Reliable multicast requires that all packets are safely delivered to the destinations. Such communication patterns are intensively used in the so-called grid computing infrastructu...
Moufida Maimour, CongDuc Pham