201 search results - page 3 / 41 » An Authorization Logic With Explicit Time |
HICSS
1998
IEEE
13 years 9 months ago
1998
IEEE
Because a hypermedia document is more complex than conventional text, it requires preparation with respect to two key aspects. First, the author begins to develop a "vision&q...
PRDC
2007
IEEE
13 years 11 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
ECTEL
2006
Springer
13 years 9 months ago
2006
Springer
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
DOCENG
2006
ACM
13 years 11 months ago
2006
ACM
For most users, authoring multimedia documents remains a complex task. One solution to deal with this problem is to provide template-based authoring tools but with the drawback of...
FTRTFT
1992
Springer
13 years 9 months ago
1992
Springer
Real-Time Logic is a formal notation for reasoning about temporal behaviour. Z is a general purpose specification language, but lacks explicit features for expressing real-time co...