860 search results - page 101 / 172 » A Process Algebra Based Verification of a Production System |
112
Voted
PERVASIVE
2005
Springer
15 years 9 months ago
2005
Springer
The retail store environment is a challenging application area for Pervasive Computing technologies. It has demanding base conditions due to the number and complexity of the interd...
153
Voted
CODES
2007
IEEE
15 years 10 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
111
Voted
BMCBI
2006
15 years 3 months ago
2006
Background: Recent analyses in systems biology pursue the discovery of functional modules within the cell. Recognition of such modules requires the integrative analysis of genome-...
192
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
XML database functionality has been emerging in "XML-only" databases as well as in the major relational database products. Yet, there is no industry standard XML databas...
113
Voted
CHI
1996
ACM
15 years 7 months ago
1996
ACM
To measure the productivity gained from computer-based authoring systems, account must be taken of changes in the way the work is organised. An analysis of economists' author...