10159 search results - page 1831 / 2032 » System Design Validation Using Formal Models |
179
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
Immersive, interactive applications grouped under the concept of Immersipresence require on-line processing and mixing of multimedia data streams and structures. One critical issu...
170
click to vote
IJCNN
2007
IEEE
16 years 23 days ago
2007
IEEE
This paper describes the optimal tuning for the output limits of the power system stabilizer (PSS), which can improve the system damping performance immediately following a large d...
184
click to vote
ICDE
2006
IEEE
16 years 18 days ago
2006
IEEE
This paper presents a description of seven systems, which use database technology to both represent knowledge persistently and make scalable queries on it, in the Semantic Web con...
197
click to vote
IPPS
2005
IEEE
16 years 4 days ago
2005
IEEE
Buffered CoScheduled (BCS) MPI is a novel implementation of MPI based on global synchronization of all system activities. BCS-MPI imposes a model where all processes and their com...
166
click to vote
SAINT
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper proposes a person-centered approach for personal task management in which people can decide management of their tasks according to their environments including their su...