Sciweavers

2757 search results - page 224 / 552
» On separating systems
Sort
View
SAS
2009
Springer
171views Formal Methods» more  SAS 2009»
16 years 6 months ago
Bottom-Up Shape Analysis
In this paper we present a new shape analysis algorithm. The key distinguishing aspect of our algorithm is that it is completely compositional, bottom-up and non-iterative. We pres...
Bhargav S. Gulavani, Supratik Chakraborty, Ganesan...
ICSE
2005
IEEE-ACM
16 years 6 months ago
An adaptive object model with dynamic role binding
To achieve the goalof realizingobject adaptationto environments, a new role-based model Epsilon and a language EpsilonJ is proposed. In Epsilon, an environment is defined as a fie...
Tetsuo Tamai, Naoyasu Ubayashi, Ryoichi Ichiyama
SIGCSE
2010
ACM
169views Education» more  SIGCSE 2010»
16 years 26 days ago
Interfaces first (and foremost) with Java
ion is a critical concept that underlies many topics in computing science. For example, in software engineering, the distinction between a component’s behavior and its implement...
Paolo A. G. Sivilotti, Matthew Lang
KDD
2009
ACM
146views Data Mining» more  KDD 2009»
16 years 24 days ago
Mining in a mobile environment
Distributed PRocessing in Mobile Environments (DPRiME) is a framework for processing large data sets across an ad-hoc network. Developed to address the shortcomings of Google’s ...
Sean McRoskey, James Notwell, Nitesh V. Chawla, Ch...
CSE
2009
IEEE
16 years 23 days ago
Davis Social Links or: How I Learned to Stop Worrying and Love the Net
—When the Internet was conceived, its fundamental operation was envisioned to be point-to-point communication allowing anybody to talk directly to anybody. With its increasing su...
Matt Spear, Xiaoming Lu, Shyhtsun Felix Wu