10406 search results - page 263 / 2082 » Using RDF to Model the Structure and Process of Systems |
122
click to vote
ITCC
2002
IEEE
15 years 9 months ago
2002
IEEE
Web-based Information Systems (WIS) are now widely used for diffusing and processing information over the network. Methodological guidelines which assist WIS developers in their t...
138
click to vote
ACSC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
155
click to vote
SIGOPS
2008
15 years 3 months ago
2008
During the last three years, we have been experimenting with the use of the Uppaal model checker in an introductory course on operating systems for first-year Computer Science stu...
153
click to vote
AC
2004
Springer
15 years 3 months ago
2004
Springer
In today's business where speed is of essence, an iterative development approach that allows the functionality to be delivered in parts has become a necessity and an effectiv...
157
click to vote
SQJ
2008
15 years 3 months ago
2008
: As business transitions into the new economy, e-system successful use has become a strategic goal. Especially in business to consumer (e-commerce) applications, users highly eval...