2702 search results - page 220 / 541 » Practically Applicable Formal Methods |
136
click to vote
ECRTS
2005
IEEE
15 years 4 months ago
2005
IEEE
This paper presents a general framework for analyzing and designing embedded systems with energy and timing requirements. A set of realistic assumptions is considered in the model...
71
Voted
NOSSDAV
2001
Springer
15 years 3 months ago
2001
Springer
A Network Musical Performance (NMP) occurs when a group of musicians, located at different physical locations, interact over a network to perform as they would if located in the ...
VLSID
2003
IEEE
15 years 11 months ago
2003
IEEE
A formal synthesis method for complex real-time embedded software is proposed in this work. Compared to previous work, our method not only synthesizes embedded software with compl...
110
click to vote
ICLP
2004
Springer
15 years 4 months ago
2004
Springer
We introduce our implemented modal logic programming system MProlog. This system is written in Prolog as a module for Prolog. Codes, libraries, and most features of Prolog can be u...
KDD
2008
ACM
15 years 11 months ago
2008
ACM
Mining user preferences plays a critical role in many important applications such as customer relationship management (CRM), product and service recommendation, and marketing camp...