Sciweavers

1587 search results - page 192 / 318
» The Semantics of Extended SOFL
Sort
View
ASPLOS
2006
ACM
14 years 3 months ago
Atomicity and visibility in tiny embedded systems
Visibility is a property of a programming language’s memory model that determines when values stored by one concurrent computation become visible to other computations. Our work...
John Regehr, Nathan Cooprider, David Gay
PCI
2005
Springer
14 years 2 months ago
An MPEG-7 Based Description Scheme for Video Analysis Using Anthropocentric Video Content Descriptors
MPEG-7 has emerged as the standard for multimedia data content description. As it is in its early age, it tries to evolve towards a direction in which semantic content description ...
Nicholas Vretos, Vassilios Solachidis, Ioannis Pit...
UML
2005
Springer
14 years 2 months ago
Modeling Aspect-Oriented Compositions
Crosscutting concerns are pervasive in embedded software, because of the various constraints imposed by the environment and the stringent QOS requirements on the system. This pape...
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
FMCO
2004
Springer
120views Formal Methods» more  FMCO 2004»
14 years 2 months ago
A Dynamic Binding Strategy for Multiple Inheritance and Asynchronously Communicating Objects
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
Einar Broch Johnsen, Olaf Owe
SAC
2010
ACM
14 years 2 months ago
Of mice and terms: clustering algorithms on ambiguous terms in folksonomies
Developed using the principles of the Model-View-Controller architectural pattern, FolksEngine is a parametric search engine for folksonomies that allows us to test arbitrary sear...
Nicola Raffaele Di Matteo, Silvio Peroni, Fabio Ta...