Sciweavers

3765 search results - page 119 / 753
» Formal Methods for Systems Engineering Behavior Models
Sort
View
FOIS
2010
15 years 4 months ago
Towards a formal ontology for history of church administration
Abstract. The paper presents preliminary results in the area of ontological engineering for historical research. Historical information systems are still in the initial stage of de...
Pawel Garbacz, Robert Trypuz, Bogumil Szady, Piotr...
164
Voted
NSPW
1998
ACM
15 years 6 months ago
Meta Objects for Access Control: a Formal Model for Role-Based Principals
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
Thomas Riechmann, Franz J. Hauck
CAV
2005
Springer
101views Hardware» more  CAV 2005»
15 years 8 months ago
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology
Carla Piazza, Marco Antoniotti, Venkatesh Mysore, ...
140
Voted
ATAL
2007
Springer
15 years 8 months ago
An adversarial environment model for bounded rational agents in zero-sum interactions
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
Inon Zuckerman, Sarit Kraus, Jeffrey S. Rosenschei...
WWW
2007
ACM
16 years 3 months ago
Automatic search engine performance evaluation with click-through data analysis
Performance evaluation is an important issue in Web search engine researches. Traditional evaluation methods rely on much human efforts and are therefore quite time-consuming. Wit...
Yiqun Liu, Yupeng Fu, Min Zhang, Shaoping Ma, Liyu...