4211 search results - page 195 / 843 » A formal approach to MASQ |
173
click to vote
ENTCS
2006
15 years 6 months ago
2006
The term Ubiquitous Computing was coined by Mark Weiser almost two decades ago. Despite all the time that has passed since Weiser's vision, ubiquitous computing still has a l...
154
click to vote
KI
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We provide an interactive method for knowledge acquisition combining approaches from description logic and formal concept analysis. Based on present data, hypothetical ru...
179
click to vote
HASE
2005
IEEE
16 years 6 days ago
2005
IEEE
We propose an approach to analyse the safety of avionic systems that takes into account the impact of computation and communication resource sharing. The approach is made of three...
156
click to vote
ECTEL
2008
Springer
15 years 8 months ago
2008
Springer
The idea of representing knowledge in formal models gets more and more popular. Since these models are understandable and thus processable by machines, the retrieval of knowledge i...
211
click to vote
IJIS
2002
15 years 6 months ago
2002
Dynamics are an important aspect of agent models. Control of dynamics requires specific methods of specification that have their own specific semantics. This paper addresses speci...