Sciweavers

5345 search results - page 42 / 1069
» Using a Technique from Graphic Designers to Develop Innovati...
Sort
View
PUC
2002
91views more  PUC 2002»
13 years 7 months ago
Designing Leisure Applications for the Mundane Car-Commute
: Commuting by car from home to work can be very time consuming. We have conducted a study to explore what people are doing, and want to do, while commuting. People use their time ...
Karl-Petter Ðkesson, Andreas Nilsson
FM
1997
Springer
258views Formal Methods» more  FM 1997»
13 years 11 months ago
Consistent Graphical Specification of Distributed Systems
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
Franz Huber, Bernhard Schätz, Geralf Einert
SAC
2008
ACM
13 years 7 months ago
Supporting the development of context-aware agent-based systems for mobile networks
Distributed applications involving mobile devices interconnected by wireless networks may benefit both from multiagent technology and context-aware programming techniques. This ar...
José Viterbo Filho, Marcelo Andrade da Gama...
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
14 years 27 days ago
Development and Application of Design Transformations in ForSyDe
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
Ingo Sander, Axel Jantsch, Zhonghai Lu
WWW
2009
ACM
14 years 8 months ago
Rapid development of spreadsheet-based web mashups
The rapid growth of social networking sites and web communities have motivated web sites to expose their APIs to external developers who create mashups by assembling existing func...
Woralak Kongdenfha, Boualem Benatallah, Julien Vay...