Sciweavers

11455 search results - page 2080 / 2291
» The Rayset and Its Applications
Sort
View
DAGSTUHL
2003
15 years 8 months ago
Pattern Synthesis from Multiple Scenarios for Parameterized Real-Time UML Models
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...
Holger Giese, Florian Klein, Sven Burmester
DAGSTUHL
2003
15 years 8 months ago
SHOE: A Blueprint for the Semantic Web
The term Semantic Web was coined by Tim Berners-Lee to describe his proposal for \a web of meaning," as opposed to the \web of links" that currently exists on the Intern...
Jeff Heflin, James A. Hendler, Sean Luke
DAGSTUHL
2003
15 years 8 months ago
Partial Order Semantics of Sequence Diagrams for Mobility
There are many formalism for mobile system specification, but until very recently, there was no satisfactory graphical notation for modelling of such systems. In a previous paper, ...
Piotr Kosiuczenko
GRAPHICSINTERFACE
2001
15 years 8 months ago
Simplification and Real-time Smooth Transitions of Articulated Meshes
Simplification techniques have mainly been applied on static models. However in movie and game industries, many models are designed to be animated. We extend the progressive mesh ...
Jocelyn Houle, Pierre Poulin
ISICT
2004
15 years 8 months ago
Preventing type flaw attacks on security protocols with a simplified tagging scheme
A type flaw attack on a security protocol is an attack where a field in a message that was originally intended to have one type is subsequently interpreted as having another type. ...
Yafen Li, Wuu Yang, Ching-Wei Huang
« Prev « First page 2080 / 2291 Last » Next »