1031 search results - page 205 / 207 » Modeling and Formal Verification of Production Automation Sy... |
HICSS
2008
IEEE
14 years 1 months ago
2008
IEEE
In recent years, instant messaging (IM) has become a popular medium of online communication. While IM is expanding into the enterprise beyond personal use, it brings the convenien...
DEBU
2008
13 years 7 months ago
2008
Services Research Lab at the Knoesis center and the LSDIS lab at University of Georgia have played a significant role in advancing the state of research in the areas of workflow m...
SIGMOD
2010
ACM
13 years 7 months ago
2010
ACM
Automated extraction of structured data from Web sources often leads to large heterogeneous knowledge bases (KB), with data and schema items numbering in the hundreds of thousands...
GIS
2006
ACM
14 years 8 months ago
2006
ACM
If you were told that some object A was perfectly (or somewhat, or not at all) in some direction (e.g., west, above-right) of some reference object B, where in space would you loo...
BIBE
2003
IEEE
14 years 23 days ago
2003
IEEE
The tertiary (3D) structure of a protein contains the essential information for understanding the biological function of the protein at the molecular and cellular levels. Traditio...