Sciweavers

7430 search results - page 1026 / 1486
» Programming Applications in CIFF
Sort
View
CODES
2008
IEEE
15 years 8 months ago
Model checking SystemC designs using timed automata
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
Paula Herber, Joachim Fellmuth, Sabine Glesner
ECOOP
2008
Springer
15 years 8 months ago
A Case Study for Aspect Based Updating
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
Susanne Cech Previtali, Thomas R. Gross
ICSOFT
2008
15 years 8 months ago
Aria Language - Towards Agent Orientation Paradigm
As building large-scale software systems is complex, several software engineering paradigms have been devised. Agent oriented paradigm is one of the most predominant contributions...
Mohsen Lesani, Niloufar Montazeri
HCI
2007
15 years 8 months ago
Physical Representation Social Presence with Interactive Grass
The hypothesis that happy team members are more cooperative than sad team members has become a popular presumption in social and applied psychology. The member negatively may affec...
Jui Hang Shih, Teng-Wen Chang, Hui-Mei Hong, Tian-...
LREC
2008
141views Education» more  LREC 2008»
15 years 8 months ago
New Resources for Document Classification, Analysis and Translation Technologies
The goal of the DARPA MADCAT (Multilingual Automatic Document Classification Analysis and Translation) Program is to automatically convert foreign language text images into Englis...
Stephanie Strassel, Lauren Friedman, Safa Ismael, ...
« Prev « First page 1026 / 1486 Last » Next »