2702 search results - page 220 / 541 » Practically Applicable Formal Methods |
173
Voted
ECRTS
2005
IEEE
15 years 8 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...
97
Voted
NOSSDAV
2001
Springer
15 years 6 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 ...
112
Voted
VLSID
2003
IEEE
16 years 2 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...
150
click to vote
ICLP
2004
Springer
15 years 7 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...
105
Voted
KDD
2008
ACM
16 years 2 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...