Sciweavers

4340 search results - page 773 / 868
» Formal Methods and Cryptography
Sort
View
ECSA
2010
Springer
15 years 5 months ago
Functional Architecture Modeling for the Software Product Industry
Although a lot of research has been carried out on the technical architecture of software systems, the domain of Functional Architecture in the software product industry lacks a fo...
Sjaak Brinkkemper, Stella Pachidi
GISCIENCE
2008
Springer
123views GIS» more  GISCIENCE 2008»
15 years 5 months ago
A Theory of Change for Attributed Spatial Entities
Abstract. New methods of data collection, in particular the wide range of sensors and sensor networks that are being constructed, with the ability to collect real-time data streams...
John G. Stell, Michael F. Worboys
ACMDIS
2010
ACM
15 years 4 months ago
Investigating the relationship between imagery and rationale in design
Artifacts can be used to inspire, guide, and create new designs. As approaches to design can range from focusing on inspiration to formalized reasoning, we seek to create and stud...
Shahtab Wahid, Stacy M. Branham, D. Scott McCricka...
138
Voted
ISLPED
2010
ACM
158views Hardware» more  ISLPED 2010»
15 years 4 months ago
Temperature- and energy-constrained scheduling in multitasking systems: a model checking approach
The ongoing scaling of semiconductor technology is causing severe increase of on-chip power density and temperature in microprocessors. This has raised urgent requirement for both...
Weixun Wang, Xiaoke Qin, Prabhat Mishra
CEC
2010
IEEE
15 years 4 months ago
Towards probabilistic memetic algorithm: An initial study on capacitated arc routing problem
— Capacitated arc routing problem (CARP) has attracted much attention due to its generality to many real world problems. Memetic algorithm (MA), among other metaheuristic search ...
Liang Feng, Yew-Soon Ong, Quang Huy Nguyen 0001, A...