2607 search results - page 234 / 522 » Complete Functional Synthesis |
130
click to vote
CSL
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. A positive temporal template (or a positive temporal constraint language) is a relational structure whose relations can be defined over countable dense linear order witho...
123
click to vote
PAKM
2008
15 years 5 months ago
2008
Abstract. We propose a unified and complete solution for expert finding in organizations, including not only expertise identification, but also expertise selection functionality. T...
152
click to vote
JVM
2004
15 years 5 months ago
2004
Checkpointing virtual machines shows potential for allowing a user to download, install, and initialize a complete software environment by selecting a web page link. Starting with...
141
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
This paper deals with global disturbance rejection of nonlinear systems. The disturbance is assumed to be sinusoidal with completely unknown phases, amplitude, and frequencies, bu...
129
click to vote
AHSWN
2005
15 years 4 months ago
2005
Over the last few years, novel architectures like ad hoc and sensor networks have introduced new challenges in the way the communication infrastructure must be addressed. Unlike t...