5608 search results - page 381 / 1122 » Structure description tools |
190
click to vote
DEXAW
1999
IEEE
15 years 11 months ago
1999
IEEE
Web based systems have been shown to be useful tools for supporting educational communication for teachers and students. In this paper we present such a system, which is an Integr...
168
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We present Trio2Promela, a tool for model checking TRIO specifications by means of Spin. TRIO is a linear-time temporal logic with both future and past operators and a qu...
205
click to vote
ESWS
2008
Springer
15 years 8 months ago
2008
Springer
PowerMagpie is a tool that brings semantic interpretation to classical web pages by dynamically--i.e. during browsing--selecting and making use of a wide range of online available ...
168
click to vote
IESA
2007
15 years 8 months ago
2007
The application of model-driven development facilitates faster and more flexible integration by separating system descriptions to different levels of abstraction. In crossorganisat...
159
click to vote
GAMEON
2001
15 years 8 months ago
2001
Though the Palm is mainly a business tool, many games have been developed for it and more are published daily. This article starts by examining the status of game development on t...