366 search results - page 21 / 74 » Combining Agent-Oriented Conceptual Modelling with Formal Me... |
119
click to vote
APSEC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
107
Voted
ACSC
2006
IEEE
15 years 6 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
98
Voted
HICSS
2005
IEEE
15 years 6 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
ER
2006
Springer
15 years 4 months ago
2006
Springer
Ontologies play an indispensable role in the Semantic Web by specifying the definitions of concepts and individual objects. However, most of the existing methods for constructing o...
94
Voted
B
2007
Springer
15 years 6 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...