166 search results - page 10 / 34 » Formal Methods: Theory Becoming Practice |
151
Voted
AGILEDC
2007
IEEE
15 years 8 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
103
click to vote
IJIS
2008
15 years 1 months ago
2008
The ability to analyse and represent formally semantic relations of terms is a core issue in information retrieval (IR), natural language processing (NLP), and in many related are...
109
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
136
Voted
ATAL
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. This article considers the link between theory and practice in agentoriented programming. We begin by rigorously defining a new formal specification language for autono...
136
click to vote
EUSFLAT
2007
15 years 3 months ago
2007
At present time configurable wireless sensor networks are given special consideration. Wireless sensor networks are now a static elements union. To make such a network a powerful ...