7139 search results - page 836 / 1428 » Language Engineering in Practice |
190
click to vote
CAISE
2003
Springer
16 years 15 days ago
2003
Springer
Knowledge workers need to communicate and access knowledge while they work alone, in groups, sitting in their offices or on the move. This paper presents the MILK project, which ai...
145
click to vote
FATES
2003
Springer
16 years 14 days ago
2003
Springer
Abstract. In this paper we propose an approach to automatically produce test cases allowing to check the satis ability of a linear property on a given implementation. Linear proper...
174
Voted
FATES
2003
Springer
16 years 14 days ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
187
click to vote
IPTPS
2003
Springer
16 years 14 days ago
2003
Springer
This paper addresses a simple, yet fundamental question in the design of peer-to-peer systems: What does it mean when we say “availability” and how does this understanding imp...
164
click to vote
ICTAI
2002
IEEE
16 years 6 days ago
2002
IEEE
: Mobile agent structuring is an increasingly practiced branch of distributed computing software engineering. In this paper we discuss the major issues encountered in producing rea...