1419 search results - page 221 / 284 » Notes on Formalizing Context |
86
Voted
ISQED
2003
IEEE
15 years 6 months ago
2003
IEEE
Mind-boggling complexity of EDA tools necessitates reuse of intellectual property in any large-scale commercial or academic operation. However, due to the nature of software, a to...
97
Voted
KBSE
2003
IEEE
15 years 6 months ago
2003
IEEE
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
138
click to vote
AGENTCL
2003
Springer
15 years 5 months ago
2003
Springer
We propose group communication for agent coordination within “active rooms” and other pervasive computing scenarios featuring strict real-time requirements, inherently unrelia...
108
click to vote
DSVIS
2003
Springer
15 years 5 months ago
2003
Springer
Based on a revision of the common task understanding in model-based approaches a formal meta model is proposed which allows more expressive task descriptions. A task is considered ...
85
Voted
ERSHOV
2003
Springer
15 years 5 months ago
2003
Springer
Words in the explanatory dictionary have different meanings (senses) described using natural language definitions. If the definitions of two senses of the same word are too simi...