Sciweavers

323 search results - page 55 / 65
» Eos: instance-level aspects for integrated system design
Sort
View
RSP
2006
IEEE
125views Control Systems» more  RSP 2006»
15 years 5 months ago
Creation and Validation of Embedded Assertion Statecharts
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
Doron Drusinsky, Man-tak Shing, Kadir Alpaslan Dem...
RIAO
2007
15 years 1 months ago
Structured Audio Player: Supporting Radio Archive Workflows with Automatically Generated Structure Metadata
Although techniques to automatically generate metadata have been steadily refined over the past decade, archive professionals at radio broadcasters continue to use conventional au...
Martha Larson, Joachim Köhler
SIGDOC
2005
ACM
15 years 5 months ago
Animating pervasive computing
It is difficult to present new, complex ideas in ways that are informative and interesting in situations where a vast amount of information has to be delivered and understood quic...
Andrée Woodcock, John R. Burns, Sarah Mount...
ICSOC
2003
Springer
15 years 4 months ago
Service-Based Distributed Querying on the Grid
Service-based approaches (such as Web Services and the Open Grid Services Architecture) have gained considerable attention recently for supporting distributed application developme...
M. Nedim Alpdemir, Arijit Mukherjee, Norman W. Pat...
EKAW
2006
Springer
15 years 3 months ago
Distributed Multi-contextual Ontology Evolution - A Step Towards Semantic Autonomy
In today's world there is a need for knowledge infrastructures that can support several autonomous knowledge bases all using different ontologies and constantly adapting thes...
Maciej Zurawski