Sciweavers

1472 search results - page 63 / 295
» Technique Integration for Requirements Assessment
Sort
View
DATE
2000
IEEE
132views Hardware» more  DATE 2000»
15 years 10 months ago
A Generic Architecture for On-Chip Packet-Switched Interconnections
This paper presents an architectural study of a scalable system-level interconnection template. We explain why the shared bus, which is today's dominant template, will not me...
Pierre Guerrier, Alain Greiner
ECIS
2003
15 years 7 months ago
Information quality issues in telco database marketing campaigns
This paper discusses information quality issues concerning consumer data assimilated by telecommunication companies (telcos) in regional and global ventures. First, it describes v...
Georgios P. Papamichail, Ioannis P. Antoniadis
ICSE
2003
IEEE-ACM
16 years 5 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
ANTSW
2010
Springer
15 years 3 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
ICWS
2009
IEEE
16 years 2 months ago
Distributed Cross-Domain Change Management
Distributed systems increasingly span organizational boundaries and, with this, system and service management domains. Web services are the primary means of exposing services to c...
Bruno Wassermann, Heiko Ludwig, Jim Laredo, Kamal ...