1174 search results - page 207 / 235 » A Logical Approach to Abstract Algebra |
179
click to vote
ICDE
2006
IEEE
16 years 1 months ago
2006
IEEE
To use their pool of resources efficiently, distributed stream-processing systems push query operators to nodes within the network. Currently, these operators, ranging from simple...
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
In software engineering, the use of models and metamodeling approaches (e.g., MDA with MOF/UML) for purposes such as software design or software validation is an established pract...
100
click to vote
PERCOM
2009
ACM
16 years 11 days ago
2009
ACM
Abstract--Presence, broadly defined as an event publishnotification infrastructure for converged applications, has emerged as a key mechanism for collecting and disseminating conte...
VLSID
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract-- We present two-dimensional (space/time) compression techniques that reduce test data volume and test application time for scan testing of intellectual property (IP) core...
CADE
2008
Springer
16 years 4 days ago
2008
Springer
Abstract. Operating-system verification gains increasing research interest. The complexity of such systems is, however, challenging and many endeavors are limited in some respect: ...