Sciweavers

12637 search results - page 2188 / 2528
» Security for Extensible Systems
Sort
View
MLMI
2005
Springer
16 years 9 days ago
Improving the Performance of Acoustic Event Classification by Selecting and Combining Information Sources Using the Fuzzy Integr
Acoustic events produced in meeting-room-like environments may carry information useful for perceptually aware interfaces. In this paper, we focus on the problem of combining diffe...
Andrey Temko, Dusan Macho, Climent Nadeu
NORMAS
2005
Springer
16 years 9 days ago
Ontological Aspects of the Implementation of Norms in Agent-Based Electronic Institutions
In order to regulate different circumstances over an extensive period of time, norms in institutions are stated in a vague and biguous manner, thereby abstracting from concrete as...
Davide Grossi, Huib Aldewereld, Javier Vázq...
SAS
2005
Springer
134views Formal Methods» more  SAS 2005»
16 years 9 days ago
Using Dependent Types to Certify the Safety of Assembly Code
There are many source-level analyses or instrumentation tools that enforce various safety properties. In this paper we present an infrastructure that can be used to check independe...
Matthew Harren, George C. Necula
SOFSEM
2005
Springer
16 years 9 days ago
Modeling Data Integration with Updateable Object Views
Recently, a range of applications of views increases. Views are not anymore tightly related to classical databases – there are proposals to use them as means of data transformati...
Piotr Habela, Krzysztof Kaczmarski, Hanna Kozankie...
UML
2005
Springer
16 years 9 days 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
« Prev « First page 2188 / 2528 Last » Next »