4250 search results - page 102 / 850 » Understanding the Requirements on Modelling Techniques |
ICSE
2000
IEEE-ACM
14 years 20 days ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
SIGMOD
1995
ACM
14 years 18 days ago
1995
ACM
Text is a pervasive information type, and many applications require querying over text sources in addition to structured data. This paper studies the problem of query processing i...
SIGMOD
2004
ACM
14 years 9 months ago
2004
ACM
Current day database applications, with large numbers of users, require fine-grained access control mechanisms, at the level of individual tuples, not just entire relations/views,...
COCOA
2009
Springer
14 years 3 months ago
2009
Springer
Combinatorial optimization problems have recently emerged in the design of controllers for OLED displays. The objective is to decompose an image into subframes minimizing the addre...
QSIC
2007
IEEE
14 years 3 months ago
2007
IEEE
Wireless sensor network (WSN) applications sense events in-situ and compute results in-network. Their software components should run on platforms with stringent constraints on nod...