158 search results - page 3 / 32 » A Principled Foundation for LCS |
TACAS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. A Java-based tool-supported software development and analysis framework is presented, where monitoring is a foundational principle. Expressive requirements specification...
ECOWS
2006
Springer
14 years 1 months ago
2006
Springer
A broader use of e-services for cross enterprise collaboration requires the services to be analysed and designed with a clear business focus. From a business perspective, the e-se...
NDJFL
2000
13 years 9 months ago
2000
now of a number of ways of developing Real Analysis on a basis of abstraction principles and second-order logic. One, outlined by Shapiro in his contribution to this volume, mimic...
CHI
2008
ACM
14 years 10 months ago
2008
ACM
The foundations of much HCI research and practice were established over 20 years ago and elaborated as three key principles by Gould and Lewis [7]: early focus on users and tasks ...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
A number of serious reasons will convince an increasing amount of researchers to store their relevant material in centers which we will call "language resource archives"...