2748 search results - page 419 / 550 » Generating Object-Z Specifications from Use Cases |
180
click to vote
PERCOM
2008
ACM
16 years 5 months ago
2008
ACM
A promising architecture for remote healthcare monitoring involves the use of a pervasive device (such as a cellular phone), which aggregates data from multiple body-worn medical ...
167
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We propose a novel method, based on concepts from expander graphs, to sample communities in networks. We show that our sampling method, unlike previous techniques, produces subgra...
230
click to vote
IH
2005
Springer
15 years 11 months ago
2005
Springer
It is commonly believed that steganography within TCP/IP is easily achieved by embedding data in header fields seemingly filled with “random” data, such as the IP identifier...
154
click to vote
SAC
2004
ACM
15 years 11 months ago
2004
ACM
This paper aims to describe the relationship between propositional planning systems and the process of means-end reasoning used by BDI agents. To show such relationship, we defin...
156
click to vote
ACSC
2003
IEEE
15 years 11 months ago
2003
IEEE
Graphs where each node includes an amount of text are often used in applications. A typical example of such graphs is UML diagrams used in CASE tools. To make text information in ...