Sciweavers

14331 search results - page 379 / 2867
» On the modeling and analysis of obligations
Sort
View
CBSE
2005
Springer
16 years 11 days ago
Real-Time Scheduling Techniques for Implementation Synthesis from Component-Based Software Models
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...
Zonghua Gu, Zhimin He
ECIS
2003
15 years 8 months ago
A critique of statistical modelling from a critical realist perspective
Most published research in information systems is underpinned by a positivist or empiricist philosophy. This generally involves the collection of quantitative data and its subsequ...
John Mingers
ICCV
2003
IEEE
16 years 8 months ago
Unified Subspace Analysis for Face Recognition
We propose a face difference model that decomposes face difference into three components, intrinsic difference, transformation difference, and noise. Using the face difference mod...
Xiaogang Wang, Xiaoou Tang
EMSOFT
2004
Springer
16 years 6 days ago
Multiple process execution in cache related preemption delay analysis
Cache prediction for preemptive scheduling is an open issue despite its practical importance. First analysis approaches use simplified models for cache behavior or they assume si...
Jan Staschulat, Rolf Ernst
ICDAR
2003
IEEE
16 years 3 days ago
Symbolic Pruning in a Structural Approach to Engineering Drawing Analysis
Interpretation of paper drawings has received a good deal of attention over the last decade. Progress has also been made in related areas such as direct interpretation of human dr...
Tom Henderson, Lavanya Swaminatha