837 search results - page 166 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
IPPS
1998
IEEE
13 years 11 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
CIKM
2008
Springer
13 years 9 months ago
2008
Springer
Continuous time-series sequence matching, specifically, matching a numeric live stream against a set of predefined pattern sequences, is critical for domains ranging from fire spr...
HCI
2007
13 years 9 months ago
2007
A large number of the world's cultural heritage sites and landscapes have been lost over time due to the progress of urbanization. Digital archive projects that digitize these...
AIS
2006
Springer
13 years 7 months ago
2006
Springer
Today's computer network technologies are sociologically founded on hunter-gatherer principles; common users may be possible subjects of surveillance and sophisticated Interne...