1829 search results - page 324 / 366 » Towards Validation of Requirements Models |
118
click to vote
MSWIM
2009
ACM
15 years 11 months ago
2009
ACM
In a Multi-hop Wireless Networks (MHWN), packets are routed between source and destination using a chain of intermediate nodes; chains are a fundamental communication structure in...
136
click to vote
AAAI
2007
15 years 6 months ago
2007
Agents’ pro attitudes such as goals, intentions, desires, wishes, and judgements of satisfactoriness play an important role in how agents act rationally. To provide a natural an...
154
click to vote
OWLED
2008
15 years 6 months ago
2008
Product development requires the ability to check design consistency, to verify design properties, and to answer questions about a design's possible implementations. These tas...
155
click to vote
JOT
2008
15 years 4 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
159
click to vote
EUROPAR
2004
Springer
15 years 10 months ago
2004
Springer
The interesting properties of P2P systems (high availability despite peer volatility, support for heterogeneous architectures, high scalability, etc.) make them attractive for dist...