7530 search results - page 1463 / 1506 » Design and Implementation of the YAWL System |
EH
1999
IEEE
1999
IEEE
Evolvable Hardware or Learning Hardware? Induction of State Machines from Temporal Logic Constraints
14 years 24 days ago
Here we advocate an approach to learning hardware based on induction of finite state machines from temporal logic constraints. The method involves training on examples, constraint...
WCRE
1999
IEEE
14 years 23 days ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
PEPM
1999
ACM
14 years 22 days ago
1999
ACM
A certifying compiler takes a source language program and produces object code, as well as a certi cate" that can be used to verify that the object code satis es desirable pr...
VLDB
1999
ACM
14 years 22 days ago
1999
ACM
As random access memory gets cheaper, it becomes increasingly affordable to build computers with large main memories. We consider decision support workloads within the context of...
ICSE
1998
IEEE-ACM
14 years 21 days ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...