Sciweavers

2061 search results - page 377 / 413
» Authorization for Metacomputing Applications
Sort
View
128
Voted
EGOV
2003
Springer
15 years 3 months ago
Implementing e-Government in Spain
: New information and communication technologies within the Administration give rise to a series of important challenges: to select and use the various telematic and computer-relat...
José Luis Bermejo Latre
103
Voted
EWSPT
2003
Springer
15 years 3 months ago
Quality Ensuring Development of Software Processes
: Software development is a complex process where many organizational units, persons, systems and artifacts are involved. In companies that exceed a certain size the business proce...
Alexander Förster, Gregor Engels
67
Voted
HUC
2003
Springer
15 years 3 months ago
Very Low-Cost Sensing and Communication Using Bidirectional LEDs
A novel microprocessor interface circuit is described which can alternately emit and detect light using only an LED, two digital I/O pins and a single current limiting resistor. T...
Paul H. Dietz, William S. Yerazunis, Darren Leigh
AINA
2010
IEEE
15 years 3 months ago
Towards Adaptive Mobile Mashups: Opportunities for Designing Effective Persuasive Technology on the Road
— Today’s vehicles and on-road infrastructures are equipped with a large number of sophisticated sensory devices. These sensory devices are capable of monitoring and providing ...
Flora Dilys Salim
110
Voted
WOLLIC
2010
Springer
15 years 3 months ago
Modal Logics with Counting
Abstract. We present a modal language that includes explicit operators to count the number of elements that a model might include in the extension of a formula, and we discuss how ...
Carlos Areces, Guillaume Hoffmann, Alexandre Denis