Sciweavers

4360 search results - page 343 / 872
» Socio-technical systems: From design methods to systems engi...
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
HYBRID
2007
Springer
16 years 29 days ago
Robust Test Generation and Coverage for Hybrid Systems
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
A. Agung Julius, Georgios E. Fainekos, Madhukar An...
EMSOFT
2007
Springer
16 years 29 days ago
Uniformity improving page allocation for flash memory file systems
Flash memory is a storage medium that is becoming more and more popular. Though not yet fully embraced in traditional computing systems, Flash memory is prevalent in embedded syst...
Seungjae Baek, Seongjun Ahn, Jongmoo Choi, Donghee...
SAC
2008
ACM
15 years 6 months ago
A service architecture for sensor data provisioning for context-aware mobile applications
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...
Bernardo Gonçalves, José Gonç...
CW
2004
IEEE
15 years 10 months ago
Joyfoot's Cyber System: A Virtual Landscape Walking Interface Device for Virtual Reality Applications
Technological limitations on current interfaces have made researches to develop new devices to interact with objects in the virtual environment. The goal of this project is to dev...
Salvador Barrera, Hiroki Takahashi, Masayuki Nakaj...