2832 search results - page 519 / 567 » Flexible Modelling for Requirements Engineering |
155
Voted
VMCAI
2010
Springer
15 years 11 months ago
2010
Springer
This paper upgrades Regular Linear Temporal Logic (RLTL) with past operators and complementation. RLTL is a temporal logic that extends the expressive power of linear temporal logi...
135
click to vote
EVOW
2010
Springer
15 years 10 months ago
2010
Springer
We investigate user-guided evolution for the development of virtual 3D building structures for the prototype (commercial) game Subversion, which is being developed by Introversion ...
146
click to vote
FDG
2009
ACM
15 years 10 months ago
2009
ACM
Engineering education has evolved from providing students solely with technical skills to providing them with courses that provide students with the non-technical “soft skillsâ€...
130
click to vote
SIGIR
2009
ACM
15 years 10 months ago
2009
ACM
A growing trend in commercial search engines is the display of specialized content such as news, products, etc. interleaved with web search results. Ideally, this content should b...
156
click to vote
ICEIS
2008
IEEE
15 years 10 months ago
2008
IEEE
In many areas of computer science ontologies become more and more important. The use of ontologies for domain modeling often brings up the issue of ontology integration. The task o...