3828 search results - page 450 / 766 » Proof-Based System Engineering Using a Virtual System Model |
172
click to vote
KBSE
2000
IEEE
15 years 11 months ago
2000
IEEE
Lightweight formal modeling and automatic analysis were used to explore the design of the Intentional Naming System (INS), a new scheme for resource discovery in a dynamic network...
189
click to vote
CLEIEJ
2002
15 years 6 months ago
2002
Function Point Analysis (FPA) is among the most commonly used techniques to estimate the size of software system projects or software systems. During the point counting process th...
163
Voted
SIGIR
2005
ACM
16 years 12 days ago
2005
ACM
Context influences the search process, but to date research has not definitively identified which aspects of context are the most influential for information retrieval, and thus a...
166
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper describes "Second Life" as a novel type of testbed and simulation environment for sensor-based applications. Second Life is a popular virtual online world tha...
186
click to vote
ICSE
1997
IEEE-ACM
15 years 11 months ago
1997
IEEE-ACM
1 In this paper we characterize and model the cost of rework in a Component Factory (CF) organization. A CF is responsible for developing and packaging reusable software components...