5170 search results - page 857 / 1034 » A Document-Oriented Approach to the Development of Knowledge... |
173
click to vote
LPAR
2010
Springer
15 years 5 months ago
2010
Springer
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
203
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
The usage of optimistic version control systems comes along with cumbersome and time-consuming conflict resolution in the case that the modifications of two developers are contrad...
184
Voted
SIGSOFT
2010
ACM
15 years 5 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
174
click to vote
CGO
2003
IEEE
16 years 11 days ago
2003
IEEE
Dynamic optimization is emerging as a promising approach to overcome many of the obstacles of traditional static compilation. But while there are a number of compiler infrastructu...
173
click to vote
CRIWG
2001
15 years 8 months ago
2001
The concept of genre has already been used to analyse organizational communication. It has also been recently used to examine persistent conversations and patterns of thinking. It...