3028 search results - page 239 / 606 » Integrating Temporal Logics |
210
click to vote
DKE
2010
15 years 4 months ago
2010
Integration of software applications can be achieved on different levels: the data level, the business logic level, and the user interface level. Integration on the user interface ...
207
click to vote
FUZZY
2004
Springer
15 years 11 months ago
2004
Springer
- The UPnP(Universal Plug and Play) architecture offers pervasive peer-to-peer network connectivity of intelligent appliances in dynamic distributed computing environment. This pap...
210
click to vote
ISSS
1998
IEEE
15 years 11 months ago
1998
IEEE
After being niche markets for several years, application markets for one-chip integration of large DRAMs and logic circuits are growing very rapidly as the transition to 0.25
207
click to vote
ATVA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The bounded synthesis problem is to construct an implementation that satisfies a given temporal specification and a given bound on the number of states. We present a so...
213
click to vote
ICLP
2003
Springer
16 years 14 days ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...