EUROMICRO
2007
IEEE
14 years 2 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
EUROMICRO
2007
IEEE
14 years 4 months ago
2007
IEEE
In component-based hardware/software co-verification, properties of an embedded system are established from properties of its hardware and software components. A major challenge i...
EUROMICRO
2007
IEEE
14 years 4 months ago
2007
IEEE
The presented dynamic Grid service architecture provides a novel and comfortable access for scientific software developers and users without prior knowledge of Grid technologies o...
EUROMICRO
2007
IEEE
14 years 6 months ago
2007
IEEE
We studied the perceived effects of pair programming (PP) compared to solo programming in a large scale, industrial software development context. We surveyed developers (N=28) reg...
EUROMICRO
2007
IEEE
14 years 6 months ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...
EUROMICRO
2007
IEEE
14 years 6 months ago
2007
IEEE
Regression testing can be systematically applied at the software architecture level in order to reduce the cost of retesting modified systems, and also to assess the regression t...
EUROMICRO
2007
IEEE
14 years 6 months ago
2007
IEEE
Ubiquitous environments facilitate the fast and easy access to users’ physical environments. Ubiquitous environments typically capture users’ presence and activities in a room...
EUROMICRO
2007
IEEE
14 years 6 months ago
2007
IEEE
Reliable Server Pooling (RSerPool) is a protocol framework for server redundancy and session failover, currently still under standardization by the IETF RSerPool WG. Server redund...
EUROMICRO
2007
IEEE
14 years 6 months ago
2007
IEEE
Organizations adopting Enterprise Resource Planning (ERP) are also adopting standard ERPvendor-specific process models for engineering their requirements. Making successfully a li...
EUROMICRO
2007
IEEE
14 years 6 months ago
2007
IEEE
Multicast network services advantageously complement multimedia information and communication technologies, as they open up the realm for highly scalable multicustomer application...