2549 search results - page 251 / 510 » Toward a complexity theory of information systems developmen... |
184
click to vote
UTP
2010
15 years 4 months ago
2010
Abstract. The Unifying Theories of Programming underpins the development of Circus, a state-rich process algebra for refinement. We have previously presented a theory of testing fo...
155
click to vote
COMSWARE
2008
IEEE
16 years 21 days ago
2008
IEEE
—With a widespread increase in the number of mobile wireless systems and applications, the need for location aware services has risen at a very high pace in the last few years. M...
162
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
159
click to vote
LREC
2010
15 years 7 months ago
2010
Automatically detecting discourse segments is an important preliminary step towards full discourse parsing. Previous research on discourse segmentation have relied on the assumpti...
265
click to vote
ICDE
2007
IEEE
16 years 7 months ago
2007
IEEE
To access data sources on the Web, a crucial step is wrapping, which translates query responses, rendered in textual HTML, back into their relational form. Traditionally, this pro...