3837 search results - page 146 / 768 » Concurrent Engineering support in Software Engineering |
126
Voted
IROS
2007
IEEE
15 years 9 months ago
2007
IEEE
— A functional approach to programming robot swarms brings with it well-defined properties that allow for automated concurrency and distributed execution. Further, the particula...
122
click to vote
ICFEM
2004
Springer
15 years 8 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
111
Voted
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Large, global enterprises are increasingly faced with the problem of supporting employees that are on the move. Employees need to share business documents, locate expertise and kn...
122
click to vote
PFE
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we examine the role of knowledge management in the design, customization, and delivery of a family of electronically delivered products and services, specifically in...
109
Voted
FSTTCS
2009
Springer
15 years 10 months ago
2009
Springer
We address the problem of alternating simulation refinement for concurrent timed games (TG). We show that checking timed alternating simulation between TG is EXPTIME-complete, and...