4485 search results - page 511 / 897 » Equivalences on Observable Processes |
183
click to vote
CIKM
2007
Springer
16 years 29 days ago
2007
Springer
XML query languages typically allow the specification of structural patterns of elements. Finding the occurrences of such patterns in an XML tree is the key operation in XML quer...
163
click to vote
HPDC
2005
IEEE
16 years 12 days ago
2005
IEEE
Very large scale computations are now becoming routinely used as a methodology to undertake scientific research. In this context, ‘provenance systems’ are regarded as the equ...
186
click to vote
ISCAS
2005
IEEE
16 years 11 days ago
2005
IEEE
Recent work has shown that the use of switched current methods can provide an effective route to implementation of analog IC functionality using a standard digital CMOS process. Fu...
175
click to vote
RTAS
2003
IEEE
16 years 2 days ago
2003
IEEE
Model-based automatic code generation is a process of converting abstract models into concrete implementations in the form of a program written in a high-level programming languag...
199
click to vote
MOBICOM
2003
ACM
16 years 1 days ago
2003
ACM
We consider a two-tiered Wireless Sensor Network (WSN) consisting of sensor clusters deployed around strategic locations and base-stations (BSs) whose locations are relatively fl...