1307 search results - page 191 / 262 » Conceptual models: begin by designing what to design |
ICLP
2004
Springer
14 years 1 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
AMOST
2007
ACM
13 years 12 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
CCS
2008
ACM
13 years 10 months ago
2008
ACM
In this paper, we model Probabilistic Packet Marking (PPM) schemes for IP traceback as an identification problem of a large number of markers. Each potential marker is associated ...
ESORICS
2004
Springer
14 years 1 months ago
2004
Springer
Redundancy and diversity are commonly applied principles for fault tolerance against accidental faults. Their use in security, which is attracting increasing interest, is less gene...
CHI
2010
ACM
14 years 8 days ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...