Sciweavers

1689 search results - page 249 / 338
» Refining abstract interpretations
Sort
View
HOTOS
1997
IEEE
15 years 8 months ago
The Role of Trace Modulation in Building Mobile Computing Systems
ty of accurately re-creating a mobile networkingAbstract environment in vitro argues for live experiments. On the In this paper we put forth the view that trace other hand, the dif...
Mahadev Satyanarayanan, Brian Noble
MICRO
2008
IEEE
93views Hardware» more  MICRO 2008»
15 years 4 months ago
What Kinds of Computer-Software-Related Advances (if Any) Are Eligible for Patents? Part II: The "Useful Arts" Requirement
of nature, or abstract idea (collectively, a principle). The clue to the patent-eligibility of processes that do not involve substance-transformation is whether the process impleme...
Richard Stern
CVPR
2003
IEEE
16 years 6 months ago
Methods and Geometry for Plane-Based Self-Calibration
Abstract. We consider the problem of camera selfcalibration, from images of a planar object with unknown Euclidean structure. The general case of possibly varying focal length is a...
Pierre Gurdjos, Peter Sturm
ICCS
2009
Springer
15 years 10 months ago
Access Policy Design Supported by FCA Methods
Role Based Access Control (RBAC) is a methodology for providing users in an IT system specific permissions like write or read to t abstracts from specific users and binds permiss...
Frithjof Dau, Martin Knechtel
115
Voted
SYNASC
2005
IEEE
84views Algorithms» more  SYNASC 2005»
15 years 9 months ago
Membrane Computing as a Framework for Modeling Economic Processes
Abstract. This paper is a first step towards a systematic evaluation of the possibilities to use membrane computing as a modeling framework for economics. Membrane computing is a ...
Gheorghe Paun, Radu A. Paun