6174 search results - page 317 / 1235 » The language of social software |
162
click to vote
FASE
2007
Springer
16 years 29 days ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
172
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
As development techniques, paradigms and platforms evolve far more quickly than domain applications, software modernization and migration, is a constant challenge to software engin...
165
click to vote
DATE
2006
IEEE
16 years 26 days ago
2006
IEEE
The allocation of device variables on I/O registers affects the code size and performance of an I/O device driver. This work seeks the allocation with the minimal software or hard...
198
click to vote
EUROMICRO
2006
IEEE
16 years 25 days ago
2006
IEEE
One area of the web services architecture yet to be standardised is that of fault tolerance for services. At the same time, WS-BPEL is moving from a de facto standard to an OASIS ...
191
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...