8179 search results - page 1503 / 1636 » The PRACTIONIST Development Tool |
121
click to vote
ESORICS
2008
Springer
15 years 5 months ago
2008
Springer
The Maude-NRL Protocol Analyzer (Maude-NPA) is a tool and inference system for reasoning about the security of cryptographic protocols in which the cryptosystems satisfy different ...
150
click to vote
CASCON
2007
15 years 5 months ago
2007
The management of non-functional goals, or Service Level Agreements (SLA), in the development of business processes in a Service Oriented Architecture often requires much manual a...
180
click to vote
CLA
2007
15 years 5 months ago
2007
In this work we want to discuss an algorithm for drawing line diagrams of lattices based on force directed placement (FDP). This widely used technique in graph drawing introduces f...
125
click to vote
LREC
2010
15 years 5 months ago
2010
This work presents a method of linking verbs and their valency frames in VerbaLex database developed at the Centre for NLP at the Faculty of Informatics Masaryk University to the ...
153
click to vote
AAAI
2006
15 years 5 months ago
2006
ScriptEase is a tool that allows authors with no programming experience to create interactive stories for computer role-playing games. Instead of writing scripting code manually, ...