4469 search results - page 194 / 894 » A Language for Role Specifications |
213
click to vote
INLG
2010
Springer
15 years 4 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
170
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
141
click to vote
ICAT
2006
IEEE
16 years 18 days ago
2006
IEEE
We propose a new scalable architecture for mobile mixed reality (MR) systems and a content description language to be used in such architecture. Several architectures already exist...
213
click to vote
AWPN
2008
15 years 8 months ago
2008
Abstract. In this paper we show an implementation of an algorithm to synthesize a place/transition Petri net (p/t-net) from a possibly infinite partial language, which is given by ...
162
click to vote
ICDAR
2007
IEEE
16 years 26 days ago
2007
IEEE
Handwriting is an alternative method for entering texts composing Short Message Services. However, a whole new language features the texts which are produced. They include for ins...