3901 search results - page 566 / 781 » software 2008 |
173
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
178
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
151
click to vote
CAISE
2008
Springer
15 years 8 months ago
2008
Springer
In today's world with companies operating in a global business environment. Most enterprises, and especially the SMEs, lack the necessary business culture, technical and non-t...
227
click to vote
CAV
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
163
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
This paper introduces the Patent Mining Task of the Seventh NTCIR Workshop and the test collections produced in this task. The task's goal was the classification of research ...