Sciweavers

4445 search results - page 271 / 889
» Reflective Authorization Systems
Sort
View
EURODAC
1994
IEEE
145views VHDL» more  EURODAC 1994»
15 years 10 months ago
Testability analysis and improvement from VHDL behavioral specifications
This paper presents a testability improvement method for digital systems described in VHDL behavioral specification. The method is based on testability analysis at registertransfe...
Xinli Gu, Krzysztof Kuchcinski, Zebo Peng
COSIT
2007
Springer
107views GIS» more  COSIT 2007»
15 years 10 months ago
A Uniform Handling of Different Landmark Types in Route Directions
Abstract. Landmarks are crucial for human wayfinding. Their integration in wayfinding assistance systems is essential for generating cognitively ergonomic route directions. I prese...
Kai-Florian Richter
HOPL
2007
15 years 9 months ago
Modula-2 and Oberon
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
Niklaus Wirth
APWEB
2006
Springer
15 years 9 months ago
Querying Composite Events for Reactivity on the Web
Reactivity, the ability to detect events and respond to them automatically through reactive programs, is a key requirement in many present-day information systems. Work on Web Serv...
François Bry, Michael Eckert, Paula-Lavinia...
BIRTHDAY
2006
Springer
15 years 9 months ago
Sync or Swarm: Musical Improvisation and the Complex Dynamics of Group Creativity
This essay draws on participant observation, ethnographic interviews, phenomenological inquiry, and recent insights from the study of swarm intelligence and complex networks to ill...
David Borgo