Sciweavers

1884 search results - page 255 / 377
» Abstraction from Counters: An Application on Real-Time Syste...
Sort
View
104
Voted
ECOOP
2008
Springer
15 years 3 months ago
A Uniform Transactional Execution Environment for Java
Abstract. Transactional memory (TM) has recently emerged as an effective tool for extracting fine-grain parallelism from declarative critical sections. In order to make STM systems...
Lukasz Ziarek, Adam Welc, Ali-Reza Adl-Tabatabai, ...
COMMA
2010
14 years 8 months ago
Moving Between Argumentation Frameworks
Abstract argument frameworks have been used for various applications within multi-agent systems, including reasoning and negotiation. Different argument frameworks make use of diff...
Nir Oren, Chris Reed, Michael Luck
144
Voted
EFDBS
2003
15 years 3 months ago
Four-Level-Architecture for Closure in Interoperability
A definition of types in an information system is given from ld abstractions through data constructs, schema and definitions to physical data values. Category theory suggests tha...
B. Nick Rossiter, Michael A. Heather
DSVIS
2003
Springer
15 years 6 months ago
Designing and Evaluating Interaction as Conversation: A Modeling Language Based on Semiotic Engineering
A number of design models have been proposed in the area of Human-Computer Interaction (HCI) to support user-centered system design. el, abstract task models and detailed interface...
Simone Diniz Junqueira Barbosa, Maíra Greco...
ICC
2009
IEEE
134views Communications» more  ICC 2009»
15 years 8 months ago
Short-Length Raptor Codes for Mobile Free-Space Optical Channels
Abstract—Free-space optical (FSO) links are competitive wireless links offering high data rate, security and low system complexity. For mobile applications, e.g., from a ground b...
Wenzhe Zhang, Steve Hranilovic