9974 search results - page 1286 / 1995 » Software Interconnection Models |
191
click to vote
WWW
2004
ACM
16 years 8 months ago
2004
ACM
We present a software architecture to implement applications in the Semantic Web, based on designs specified in the Semantic Hypermedia Design Method (SHDM). This architecture sup...
203
click to vote
PEPM
2010
ACM
16 years 4 months ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
190
click to vote
FOSSACS
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
255
click to vote
ICAIL
2009
ACM
16 years 2 months ago
2009
ACM
This paper describes a default-logic framework (plausibility schemas) and software tools (Decision ApprenticeTM and Legal ApprenticeTM ) for modeling, guiding and automating the r...
164
click to vote
ITNG
2007
IEEE
16 years 1 months ago
2007
IEEE
This paper introduced coding guidelines for use by academics developing code as part of their research in areas of computer science or similar disciplines. We introduce the guidel...