4520 search results - page 337 / 904 » Algebraic Techniques for Timed Systems |
200
click to vote
FM
2003
Springer
16 years 21 days ago
2003
Springer
We present the formal framework for a novel approach for specifying and automatically implementing systems such as digital circuits and network protocols. The goal is to reduce the...
181
click to vote
JIIS
2000
15 years 7 months ago
2000
This paper presents a system for autonomous information gathering in an information rich domain under time and monetary resource restrictions. The system gathers information using ...
228
click to vote
IEAAIE
2010
Springer
15 years 5 months ago
2010
Springer
An innovative technique based on multi-objective grammar guided genetic programming (MOG3P-MI) is proposed to detect the most relevant activities that a student needs to pass a cou...
196
click to vote
SOCIALCOM
2010
15 years 5 months ago
2010
Abstract--With the proliferation of internet-based social networks into our lives, new mechanisms to control the release and use of personal data are required. As a step toward thi...
216
click to vote
FORTE
2003
15 years 9 months ago
2003
Abstract. In this paper, we propose a testing method for QoS functions in distributed multi-media systems, where we test whether playback of media objects is correctly implemented ...