5525 search results - page 965 / 1105 » Verification of Model Transformations |
131
Voted
GLOBECOM
2007
IEEE
15 years 9 months ago
2007
IEEE
—Network lifetime is a critical issue in Wireless Sensor Networks. It is possible to extend network lifetime by organizing the sensors into a number of sensor covers. However, wi...
113
click to vote
SAC
2005
ACM
15 years 9 months ago
2005
ACM
The process by which a cell senses and responds to its environment, as in signal transduction, is often mediated by a network of protein-protein interactions, in which proteins co...
143
click to vote
SIGSOFT
2003
ACM
15 years 8 months ago
2003
ACM
1 Step-wise refinement (SWR) asserts that complex programs can be derived from simple programs by progressively adding features. The length of a program specification is the number...
115
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
124
click to vote
EDBT
2009
ACM
15 years 8 months ago
2009
ACM
We consider a near future scenario in which users of a Web 2.0 application, such as a social network, contribute to the application not only data, but also rules which automatical...