Sciweavers

3943 search results - page 138 / 789
» Architecture-Level Requirements Specification
Sort
View
JCST
2010
198views more  JCST 2010»
15 years 1 months ago
Certification of Thread Context Switching
With recent efforts to build foundational certified software systems, two different approaches have been proposed to certify thread context switching. One is to certify both thread...
Yu Guo, Xinyu Jiang, Yiyun Chen
MHCI
2009
Springer
16 years 1 months ago
Community Practices and Locative Media
The development of locative media applications is not simply about the physical location or social setting in which the interaction occurs, but rather about situating the media wi...
Katharine S. Willis, Keith Cheverst, Claudia Muell...
ASWEC
2008
IEEE
16 years 1 months ago
Construction by Configuration: Challenges for Software Engineering Research and Practice
The past ten years have seen a radical shift in business application software development. Rather than developing software from scratch using a conventional programming language, ...
Ian Sommerville
AUTONOMICS
2008
ACM
15 years 8 months ago
QoS-aware ant routing with colored pheromones in wireless mesh networks
Inspired by the collective foraging behavior of specific ant species, ant-based routing algorithms are able to find optimal or near optimal packet routes for Wireless Mesh Network...
Martina Umlauft, Wilfried Elmenreich
CIDR
2009
157views Algorithms» more  CIDR 2009»
15 years 7 months ago
SCADS: Scale-Independent Storage for Social Computing Applications
Collaborative web applications such as Facebook, Flickr and Yelp present new challenges for storing and querying large amounts of data. As users and developers are focused more on...
Michael Armbrust, Armando Fox, David A. Patterson,...