Sciweavers

1779 search results - page 277 / 356
» Requirements Engineering and Agile Software Development
Sort
View
WORDS
2005
IEEE
15 years 10 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
ARCS
2005
Springer
15 years 10 months ago
Self-Organization in Sensor Networks using Bio-Inspired Mechanisms
Bio-inspired communication methodologies promise to enable more scalable self-organizing network infrastructures. Especially in the area of mobile ad hoc sensor networks, such sol...
Falko Dressler, Bettina Krüger, Gerhard Fuchs...
ICESS
2005
Springer
15 years 10 months ago
Self-correction of FPGA-Based Control Units
This paper presents a self-correcting control unit design using Hamming codes for finite state machine (FSM) state encoding. The adopted technique can correct single-bit errors and...
Iouliia Skliarova
COMPSAC
2009
IEEE
15 years 9 months ago
Towards a Theory for Testing Non-terminating Programs
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
Arnaud Gotlieb, Matthieu Petit
ECMDAFA
2008
Springer
74views Hardware» more  ECMDAFA 2008»
15 years 6 months ago
Annotation Framework Validation Using Domain Models
Frameworks and libraries that use annotations are becoming popular. However, there is not enough software engineering support for annotation development. In particular, the validat...
Carlos Noguera, Laurence Duchien