569 search results - page 64 / 114 » Intent Specifications: An Approach to Building Human-Centere... |
ECTEL
2006
Springer
15 years 3 months ago
2006
Springer
One way of providing technological support for CoPs is to help participants to produce, structure and share information. As this information becomes more and more multimedia in nat...
CVPR
2007
IEEE
15 years 1 months ago
2007
IEEE
Traditional linear Fukunaga-Koontz Transform (FKT) [1] is a powerful discriminative subspaces building approach. Previous work has successfully extended FKT to be able to deal wit...
116
click to vote
SPLC
2008
15 years 1 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
FBT
1998
15 years 1 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...
FAC
2008
2008
Testing a deterministic implementation against a non-controllable non-deterministic stream X-machine
14 years 12 months ago
A stream X-machine is a type of extended finite state machine with an associated development approach that consists of building a system from a set of trusted components. One of th...