444 Hits in 6.2 sec

JACK: A Java Auction Configuration Kit [chapter]

Thomas Goff, Amy Greenwald, Elizabeth Hilliard, Wolfgang Ketter, Andrew Loomis, Eric Sodomka
2013 Lecture Notes in Business Information Processing  
Our so-called Java Auction Configuration Kit (JACK) is intended to facilitate research on the interplay between a variety of auction mechanisms and a variety of agent strategies (both autonomous and human  ...  In this work we present a client-server infrastructure that is capable of simulating not just one complex market and its corresponding set of agents, but a wider space of markets and potentially more robust  ...  In this paper, we introduce the Java Auction Configuration Kit (JACK), an auction simulator that allows researchers to customize auctions and collect empirical data from participating bidders, human or  ... 
doi:10.1007/978-3-642-40864-9_4 fatcat:cgax2vmozzbzhnjprc746qwjnm

JACK — A Tool for Validation of Security and Behaviour of Java Applications [chapter]

Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
2007 Lecture Notes in Computer Science  
, stack counter, stack expressions) • Structural and type constraints, à la BCV • Encoding in class file format • Java compiler independent • JVM compatibility: user-specific attributes, indexing  ...  • Advanced support for difficult tasks (like interactive proving) JACK -p.5 JACK: Java Applet Correctness Kit JML2BML Javac annotation generation security properties VCGen VCGen provers  ... 
doi:10.1007/978-3-540-74792-5_7 fatcat:uhdx44xiyzakbes2sppc5cpeu4

Realizing the Potential of Mobile Phone Technology for Language Learning

Jack Burston
2011 IALLT Journal of Language Learning Technologies  
learning.In doing so, the paper describes four challenges that have to be overcomefor mobile phone technology to become an effective pedagogical tool.Specifically: Intrusiveness, Cost, Practical technological constraints  ...  Approximately half of these phones run Java, provide a multimedia player, and support a micro SD memory card, i.e. 41% of all mobile phones worldwide.  ...  MOBLANG LESSONS In collaboration with Anspear (, a software programming company specializing in pedagogical applications for Java-enabled mobile phones, a common lesson core was  ... 
doi:10.17161/iallt.v41i2.8490 fatcat:f24fivnrindy3mgziyryanmwx4

More natural end-user software engineering

Brad A. Myers, Andrew J. Ko, Sun Young Park, Jeffrey Stylos, Thomas D. LaToza, Jack Beaton
2008 Proceedings of the 4th international workshop on End-user software engineering - WEUSE '08  
We have since developed a version of the Whyline in Java [20] and found similar success.  ...  Although the Whyline for Java is designed explicitly for experienced Java developers, many of the issues of scale and generality that we have addressed in the design will influence the design of a Whyline  ... 
doi:10.1145/1370847.1370854 fatcat:c57bnqx3dbam7j5efi6j4zheaq

Effectiveness of cross-platform optimizations for a java just-in-time compiler

Kazuaki Ishizaki, Toshiaki Yasue, Takeshi Ogasawara, Tamiya Onodera, Hideaki Komatsu, Toshio Nakatani, Mikio Takeuchi, Kiyokuni Kawachiya, Toshio Suganuma, Osamu Gohda, Tatsushi Inagaki, Akira Koseki (+2 others)
2003 Proceedings of the 18th ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications - OOPSLA '03  
for a Java Just-In-Time Compiler | PPL20043 | Effectiveness of Cross-Platform Optimizations for a Java Just-In-Time Compiler | PPL20043 |  ...  Effectiveness of Cross-Platform Optimizations for a Java Just-In-Time Compiler | PPL20043 | © 2004 IBM Corporation 7 Effectiveness of Cross-Platform Optimizations for a Java Just-In-Time Compiler | PPL20043  ...  -IBM Developers Kit, Java Technology Edition, 1.4.0 -Invoke JIT compiler for a method after the method is executed 1,000 times.  ... 
doi:10.1145/949305.949322 dblp:conf/oopsla/IshizakiTKSGIKOKYOOKN03 fatcat:pfxah5hrgfbbblpfevwevp6zjy

DCaseLP: A Prototyping Environment for Multi-language Agent Systems [chapter]

Viviana Mascardi, Maurizio Martelli, Ivana Gungui
2008 Lecture Notes in Computer Science  
DCaseLP provides tools and languages for modelling and implementing a MAS prototype following a set of steps which guide the developer from the late requirement analysis to the prototype implementation  ...  This paper describes DCaseLP, a multi-language development environment for Multi-Agent Systems.  ...  Moreover, JACK provides the core architecture and infrastructure for developing and running software agents in distributed applications, and a JDE (JACK Development Environment) that offers a high-level  ... 
doi:10.1007/978-3-540-85058-8_9 fatcat:hg6os2v4bvhsbm3h6bjiq3y2xi

An integrated verification environment for JML

Patrice Chalin, Perry R. James, George Karabotsos
2007 Proceedings of the 2007 conference on Specification and verification of component-based systems 6th Joint Meeting of the European Conference on Software Engineering and the ACM SIGSOFT Symposium on the Foundations of Software Engineering - SAVCBS '07  
Tool support for the Java Modeling Language (JML) is a very pressing problem.  ...  A main issue with current tools is their architecture: the cost of keeping up with the evolution of Java is prohibitively high: e.g., almost three years following its release, Java 5 has yet to be fully  ...  The Java Applet Correctness Kit (JACK) is a proprietary tool for JML annotated Java Card programs initially developed at Gemplus (2002) and then taken over by INRIA (2003) [2] .  ... 
doi:10.1145/1292316.1292322 dblp:conf/sigsoft/ChalinJK07 fatcat:mnoe3cgmqfaitliai6xobeaxvi

JHelioviewer - Visualizing large sets of solar images using JPEG 2000 [article]

Daniel Mueller, George Dimitoglou, Benjamin Caplins, Juan Pablo Garcia Ortiz, Benjamin Wamsler, Keith Hughitt, Alen Alexanderian, Jack Ireland, Desmond Amadigwe, Bernhard Fleck
2009 arXiv   pre-print
This is especially relevant for solar physics, a research field in which upcoming space missions will provide more than a terabyte of image data per day.  ...  We present the development of a visualization software for solar physics data based on the JPEG 2000 image compression standard.  ...  With Jhelioviewer, local and remote JPEG 2000 datasets become accessible easily via a cross-platform Java Web Start 4 client application ( Figure 5 ).  ... 
arXiv:0906.1582v1 fatcat:hvuvnf4ey5eovmasg3mtcccy5i

Implementing time-predictable load and store operations

Jack Whitham, Neil Audsley
2009 Proceedings of the seventh ACM international conference on Embedded software - EMSOFT '09  
However, data must be explicitly moved between scratchpad and external memory as a task executes in order to make best use of the limited scratchpad space.  ...  Advantages of scratchpads include reduced energy consumption in comparison to a cache and access latencies that are independent of the preceding memory access pattern.  ...  A VHDL model of the SMMU was implemented and synthesized for a Xilinx Virtex-5 FPGA using the Xilinx Embedded Development Kit (EDK) software [38] .  ... 
doi:10.1145/1629335.1629371 dblp:conf/emsoft/WhithamA09 fatcat:jxdqeodfxbhihde42gvixs6hda

Java bytecode specification and verification

Lilian Burdy, Mariela Pavlova
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
All components, including the verification condition generator and the compiler are implemented and integrated in the Java Applet Correctness Kit (JACK).  ...  To this end, we define a bytecode specification language (BCSL) and a weakest precondition calculus for sequential Java bytecode.  ...  Both are integrated in the Java Applet Correctness Kit tool (JACK) [4] .  ... 
doi:10.1145/1141277.1141708 dblp:conf/sac/BurdyP06 fatcat:3it4kc2fcngsfawkcck466nfmq

Design considerations for the WISDM smart phone-based sensor mining architecture

Jeffrey W. Lockhart, Gary M. Weiss, Jack C. Xue, Shaun T. Gallagher, Andrew B. Grosner, Tony T. Pulickal
2011 Proceedings of the Fifth International Workshop on Knowledge Discovery from Sensor Data - SensorKDD '11  
Smart phones comprise a large and rapidly growing market.  ...  In this paper we discuss these limitations, their impact, and propose a solution based on our WISDM (WIireless Sensor Data Mining) smart phone-based sensor mining architecture.  ...  common programming lan- guage, have a well documented and inexpensive software devel- opment kit (SDK), and ideally it should be open source.  ... 
doi:10.1145/2003653.2003656 fatcat:bho6g27c5jfm7b43wour5ky4u4

Java Applet Correctness: A Developer-Oriented Approach [chapter]

Lilian Burdy, Antoine Requet, Jean-Louis Lanet
2003 Lecture Notes in Computer Science  
This tool allows to formally prove Java classes annotated with JML, an annotation language for Java that provides a framework for specifying class invariants and methods behaviours.  ...  To reduce the difficulty of using formal techniques, it aims to provide a user-friendly interface which hides to developers most of the formal features and provides a "Java style view" of lemmas.  ...  Java developers should be able to validate their code, or at least to get a good assurance on its correctness. This paper presents such a tool: the Java Applet Correctness Kit (or JACK).  ... 
doi:10.1007/978-3-540-45236-2_24 fatcat:3eiuhsoiajdc7k5nypcgzb5zlq

A Low-Footprint Java-to-Native Compilation Scheme Using Formal Methods [chapter]

Alexandre Courbot, Mariela Pavlova, Gilles Grimaud, Jean-Jacques Vandewalle
2006 Lecture Notes in Computer Science  
However, native code is much bigger than Java bytecode, which severely limits or even forbids these practices for devices with memory constraints.  ...  This is made possible by completing the Java program with JML annotations, and using a theorem prover in order to formally prove that the compiled methods never throw runtime exceptions.  ...  The programs to optimize are JML-annotated against runtime exceptions and verified by the Java Applet Correctness Kit (JACK [4] ).  ... 
doi:10.1007/11733447_24 fatcat:xwgyjiskifckppytptysrwcsmm

A Case Study in Matching Test and Proof Coverage

Y. Ledru, L. du Bousquet, F. Dadeau, F. Allouti
2007 Electronical Notes in Theoretical Computer Science  
Here, we present experiments around the use of the JACK tool to prove Java programs annotated with JML assertions.  ...  When JACK fails to decide proof obligations, we use a combinatorial testing tool, TOBIAS, to produce large test suites that exercise the unproved program parts.  ...  JACK Proof Obligation Generator The Java Applet Correctness Kit (or JACK) [2] provides an environment for the verification of Java and JavaCard programs annotated with JML.  ... 
doi:10.1016/j.entcs.2007.08.007 fatcat:j3237kozcnbtfk6bdtfpzgkmy4

Towards an industrial grade IVE for Java and next generation research platform for JML

Patrice Chalin, Robby, Perry R. James, Jooyong Lee, George Karabotsos
2010 International Journal on Software Tools for Technology Transfer (STTT)  
Tool support for the Java Modeling Language (JML) is a very pressing problem.  ...  A main issue with current tools is their architecture; the cost of keeping up with the evolution of Java is prohibitively high, e.g., Java 5 has yet to be fully supported.  ...  Correctness Kit (JACK) and OpenJML.  ... 
doi:10.1007/s10009-010-0164-8 fatcat:ganm3hsp6ffyzgidvgb53wfasa
« Previous Showing results 1 — 15 out of 444 results