Sciweavers

1221 search results - page 123 / 245
» Mixed-Initiative Development of Language Processing Systems
Sort
View
FDL
2006
IEEE
14 years 2 months ago
Formalizing TLM with Communicating State Machines
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
Bernhard Niemann, Christian Haubelt
JSAI
2007
Springer
14 years 3 months ago
Towards Translation of Legal Sentences into Logical Forms
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
Makoto Nakamura, Shunsuke Nobuoka, Akira Shimazu
HICSS
2002
IEEE
152views Biometrics» more  HICSS 2002»
14 years 1 months ago
Security Considerations for Distributed Web-Based E-commerce Applications in Java
Today’s distributed e-commerce applications typically rely upon various technologies in their realization, including the web, scripting languages, server-side processing and an ...
Timothy E. Lindquist
INTERNET
2008
150views more  INTERNET 2008»
13 years 8 months ago
Convenience Over Correctness
ion. First described in RFC 707,1 with implementation approaches and details later provided by Andrew Birrell and Bruce Nelson,2 RPC has influenced distributed systems research and...
Steve Vinoski
CD
2004
Springer
14 years 2 months ago
Keeping Control of Reusable Components
Development and deployment via components offers the possibility of prolific software reuse. However, to achieve this potential in a component-rich environment, it is necessary to...
Susan Eisenbach, Dilek Kayhan, Chris Sadler