3792 search results - page 749 / 759 » Techniques for Trusted Software Engineering |
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
This paper focuses on a framework for representing a team plan and its projections on individual agents. The team plan is represented with a coloured Petri net. Using the implicit...
CLEF
2005
Springer
15 years 5 months ago
2005
Springer
For the 2005 Cross-Language Evaluation Forum, Thomson Legal and Regulatory participated in the Hungarian, French, and Portuguese monolingual search tasks as well as French-to-Port...
100
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
Current consumer electronics devices do not interoperate and are hard to use. Devices use proprietary, device-specific and inflexible protocols. Resources across device classes, s...
118
click to vote
EMSOFT
2005
Springer
15 years 5 months ago
2005
Springer
The central idea behind interface-based design is to describe components by a component interface. In contrast to a component description that describes what a component does, a c...
102
click to vote
ECLIPSE
2004
ACM
15 years 5 months ago
2004
ACM
Much research has been done on techniques to teach students how to program. However, it is usually difficult to quantify exactly how students work. Instructors typically only see ...