403 search results - page 36 / 81 » Integrating Z into Large Projects Tools and Techniques |
ICPADS
1996
IEEE
15 years 4 months ago
1996
IEEE
The Management of Distributed Applications and Systems (MANDAS) project addresses problems arising in the management of distributed applications. Specifically, we are studying the...
104
click to vote
PLDI
2010
ACM
15 years 9 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
103
click to vote
WEBDB
2009
Springer
15 years 6 months ago
2009
Springer
Recently, the opportunity of extracting structured data from the Web has been identified by a number of research projects. One such example is that millions of relational-style H...
118
Voted
IGARSS
2009
14 years 9 months ago
2009
The ability of various ecosystems to perform vital functions such as biodiversity production, and water, energy and nutrient cycling depends on the ecosystem state, i.e. health. E...
126
click to vote
DILS
2008
Springer
15 years 1 months ago
2008
Springer
It is not always clear how best to represent integrated data sets, and which application and database features allow a scientist to take best advantage of data coming from various ...