8179 search results - page 359 / 1636 » The PRACTIONIST Development Tool |
167
click to vote
ICMCS
2005
IEEE
16 years 9 days ago
2005
IEEE
User authored stories will always be the best stories, and authoring tools will continue to be developed. However, a digital lifetime capture permits storytelling via a lightweigh...
138
click to vote
CIVR
2004
Springer
16 years 3 days ago
2004
Springer
The paper discusses three IST projects focusing on the disclosure of video content via a combination of low-level multimodal feature analysis, abstraction, and browsing tools. The ...
159
click to vote
TAPSOFT
1995
Springer
15 years 10 months ago
1995
Springer
Algebraic specifications have been used successfully as a formal basis for software development. This paper discusses how the origin and dynamic dependence relations implicitly de...
224
click to vote
SAM
2004
15 years 8 months ago
2004
We propose a partial order reduction for model checking security protocols for the secrecy property. Based on this reduction we develop an automatic tool that can check security pr...
141
click to vote
CG
2000
Springer
15 years 6 months ago
2000
Springer
The tools for visualization of relativistic string dynamics in various topological classes are developed. New theoretical results, obtained with the aid of these tools, are descri...