3387 search results - page 333 / 678 » Automating the Metamodeling Process |
174
Voted
ICALT
2006
IEEE
16 years 23 days ago
2006
IEEE
– Generating LOM for learning material is a complex and tedious task to be manually completed. Therefore, the current trend is to automate this process. However, there are severa...
203
click to vote
LICS
2005
IEEE
16 years 8 days ago
2005
IEEE
We provide a uniform solution to the problem of synthesizing a finite-state distributed system. An instance of the synthesis problem consists of a system architecture and a tempo...
173
click to vote
GROUP
2005
ACM
16 years 8 days ago
2005
ACM
VERN is an online collaborative tool that coordinates and distributes the process of finding optimal meeting times across the members of a group. The system combines the underlyin...
213
click to vote
IUI
2004
ACM
16 years 4 days ago
2004
ACM
People are performing increasingly complicated actions on the web, such as automated purchases involving multiple sites. Things often go wrong, however, and it can be difficult to...
168
click to vote
CSL
2004
Springer
16 years 3 days ago
2004
Springer
The Parameterized Model Checking Problem (PMCP) is to decide whether a temporal property holds for a uniform family of systems, ¢¡ , comprised of finite, but arbitrarily many,...