4540 search results - page 584 / 908 » Evolvability |
173
click to vote
SPIN
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We present an approach for the veri cation of spatial properties with Spin. We rst extend one of Spin's main property speci cation mechanisms, i.e., the linear-time...
166
click to vote
UM
2007
Springer
16 years 27 days ago
2007
Springer
Active participation of a person in a community is a powerful indicator of the person's interests, preferences, beliefs and (often) social and demographic context. Community m...
156
click to vote
VAMOS
2007
Springer
16 years 27 days ago
2007
Springer
Although feature modelling is a frequently used approach to the task of modelling commonality and variability within product lines, there is currently no standard modelling notati...
204
click to vote
VLDB
2007
ACM
16 years 27 days ago
2007
ACM
As the Web has evolved into a data-rich repository, with the standard “page view,” current search engines are becoming increasingly inadequate for a wide range of query tasks....
158
click to vote
ACSAC
2006
IEEE
16 years 26 days ago
2006
IEEE
Security-typed languages are an evolving tool for implementing systems with provable security guarantees. However, to date, these tools have only been used to build simple “toy...