420 search results - page 11 / 84 » Towards Design Tools for Protocol Development |
97
Voted
GECCO
2006
Springer
15 years 6 months ago
2006
Springer
This poster paper outlines a method for a search based approach to the development of provably correct protocols. Categories and Subject Descriptors C.2.2 [Computer Communication ...
126
Voted
VSTTE
2010
Springer
15 years 15 days ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
122
click to vote
CHI
2002
ACM
16 years 3 months ago
2002
ACM
The early architectural design stage is a typical example where traditional design tools such as sketching on paper still dominate over computer-assisted tools. Augmented reality ...
121
Voted
AGTIVE
1999
Springer
15 years 7 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
121
Voted
CHI
2009
ACM
16 years 3 months ago
2009
ACM
As user-created content increasingly becomes an ever more prominent element of modern game design, tools have been developed to aide in the creative process for several forms of d...