11160 search results - page 334 / 2232 » Incompleteness in a General Setting |
198
click to vote
ECRTS
2006
IEEE
16 years 25 days ago
2006
IEEE
At early stages in the design of real-time embedded applications, the timing attributes of the computational activities are often incompletely specified or subject to changes. Lat...
143
click to vote
ICDE
2006
IEEE
16 years 24 days ago
2006
IEEE
Document-centric XML document creation is a process of marking up textual content rather than typing text in a predefined structure. It turns out that, although the final docume...
166
click to vote
RTCSA
2005
IEEE
16 years 10 days ago
2005
IEEE
Abstract— Time-critical jobs in many real-time applications have multiple feasible intervals. Such a job is constrained to execute from start to completion in one of its feasible...
180
click to vote
ECSQARU
2005
Springer
16 years 9 days ago
2005
Springer
In the presence of a river flood, operators in charge of control must take decisions based on imperfect and incomplete sources of information (e.g., data provided by a limited numb...
162
click to vote
GC
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Behavioural equivalences on open systems are usually defined by comparing system behaviour in all environments. Due to this “universal” quantification over the poss...