62 search results - page 12 / 13 » A Case Study of the Implementation of Agile Methods in a Bio... |
COMPGEOM
2005
ACM
13 years 8 months ago
2005
ACM
We consider the problem of computing a representation of the plane graph induced by one (or more) algebraic curves in the real plane. We make no assumptions about the curves, in p...
WWW
2004
ACM
14 years 7 months ago
2004
ACM
The ontological representation of learning objects is a way to deal with the interoperability and reusability of learning objects (including metadata) through providing a semantic...
SUTC
2008
IEEE
14 years 24 days ago
2008
IEEE
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal st...
TACAS
1998
Springer
13 years 10 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
HICSS
2003
IEEE
13 years 11 months ago
2003
IEEE
The availability of effective management information is essential when coping with today’s complexity and dynamism, both within and around organizations. Information technology ...