1696 search results - page 53 / 340 » Knowledgeable development environments using shared design m... |
140
Voted
APN
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
100
click to vote
IJOE
2007
15 years 2 months ago
2007
- Since the Topic Map standard describes a prospective knowledge-structuring model that can be used in a huge variety of knowledge domains the amount of applications utilizing this...
133
click to vote
IFM
2010
Springer
15 years 25 days ago
2010
Springer
This paper presents initial results of research aimed at developing methods and tools for multidisciplinary collaborative development of dependable embedded systems. We focus on th...
134
Voted
NOMS
2008
IEEE
15 years 8 months ago
2008
IEEE
—Automatic service and application deployment and management is becoming possible through the use of service and infrastructure discovery and policy systems. But using the infras...
123
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper describes the design and evaluation of COLER, a computer mediated learning environment that includes a software coach to help students collaborate while solving Entity ...