Sciweavers

1809 search results - page 78 / 362
» On the Purpose of Object-Oriented Analysis
Sort
View
ICRA
2005
IEEE
124views Robotics» more  ICRA 2005»
15 years 3 months ago
Analysis of Human Motion for Humanoid Robots
— A great challange in robotics is to make robots more like humans. One important aspect is to make robots move like humans and recognize their motions. Both tasks are based on h...
Jörg Moldenhauer, Ingo Boesnach, Thomas Beth,...
ATAL
2005
Springer
15 years 3 months ago
Formal Modeling and Analysis of Organizations
A new, formal, role-based, framework for modeling and analyzing both real world and artificial organizations is introduced. It exploits static and dynamic properties of the organiz...
Egon L. van den Broek, Catholijn M. Jonker, Alexei...
SPC
2005
Springer
15 years 3 months ago
A Theorem Proving Approach to Analysis of Secure Information Flow
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
Ádám Darvas, Reiner Hähnle, Dav...
ICPP
1999
IEEE
15 years 2 months ago
New Delay Analysis in High Speed Networks
The implementation of bounded-delay services over integrated services networks relies admission control mechanisms that in turn use end-to-end delay computation algorithms. For gu...
Chengzhi Li, Riccardo Bettati, Wei Zhao
DEXA
1998
Springer
105views Database» more  DEXA 1998»
15 years 2 months ago
Semantic Based Schema Analysis
: Semantic similarity between schema elements is greatly influenced by the context in which the elements are defined and compared. This paper emphasizes on the role of context in e...
Nayyer Masood, Barry Eaglestone