3782 search results - page 612 / 757 » Engineering Social Order |
EUROSPI
2005
Springer
15 years 3 months ago
2005
Springer
Currently, software development organizations are increasingly interested in adopting agile processes and practices. The organizations, however, need procedures and methods for sup...
FOSSACS
2005
Springer
15 years 3 months ago
2005
Springer
We present a general framework for logics of transition systems based on Stone duality. Transition systems are modelled as coalgebras for a functor T on a category X. The propositi...
ICNC
2005
Springer
15 years 3 months ago
2005
Springer
In order to overcome the drawbacks of mathematical optimization techniques, soft computing algorithms have been vigorously introduced during the past decade. However, there are sti...
ICSOC
2005
Springer
15 years 3 months ago
2005
Springer
The tuplespace system is a popular cooperative communication paradigm in service-oriented computing. Tuple matching in existing tuplespace systems is either type-based or object-ba...
LCTRTS
2005
Springer
15 years 3 months ago
2005
Springer
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...